name()
and trimmed_name()
for stable_mir::crate_def::DefId
#137886
Merged
bors merged 3 commits intorust-lang:masterfrom Mar 3, 2025
Merged
`name()` and `trimmed_name()` for `stable_mir::crate_def::DefId`#137886bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom