Skip to content

Add intrinsic_name to get plain intrinsic name#122203

Merged
bors merged 1 commit intorust-lang:masterfrom
adpaco-aws:smir-intrinsic-name
Mar 13, 2024
Merged

Add `intrinsic_name` to get plain intrinsic name#122203
bors merged 1 commit intorust-lang:masterfrom
adpaco-aws:smir-intrinsic-name

Commits

Commits on Mar 12, 2024