runtimeverification/stable-mir-json

Qualified names for both `IntrinsicSym` and `NormalSym`

Open

#137 建立於 2026年3月5日

在 GitHub 查看
 (1 留言) (0 反應) (0 負責人)Rust (5 fork)auto 404
good first issue

倉庫指標

Star
 (10 star)
PR 合併指標
 (PR 指標待抓取)

描述

Currently IntrinsicSym serialises with the short name (e.g. black_box) and NormalSym serialises with the mangled name (e.g. _ZN4core9panicking19assert_failed_inner17h1d286061ca0adfe7E). Both have upsides and downsides:

  • short name is concise but ambiguous (which black_box? Hard to tell just by reading)
  • mangled name is unambiguous but too verbose

#85 was going to use the mangled name for intrinsics, but this would not fix the verbosity problem.

A middle ground for both would be a qualified name

This comment for some more context

貢獻者指南