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

贡献者指南