Skip to content

name() and trimmed_name() for stable_mir::crate_def::DefId#137886

Merged
bors merged 3 commits intorust-lang:masterfrom
NotLebedev:stable-mir-91
Mar 3, 2025
Merged

`name()` and `trimmed_name()` for `stable_mir::crate_def::DefId`#137886
bors merged 3 commits intorust-lang:masterfrom
NotLebedev:stable-mir-91

Commits

Commits on Mar 2, 2025