Skip to content

Add intrinsic_name to get plain intrinsic name#122203

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

Commits

Commits on Mar 12, 2024