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

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

NotLebedev:stable-mir-91NotLebedev/rust:stable-mir-91Copy head branch name to clipboard