Skip to content

Minor trimmed_def_paths improvements#119974

Merged
bors merged 3 commits intorust-lang:masterfrom
nnethercote:trimmed_def_paths-improvements
Jan 15, 2024
Merged

Minor `trimmed_def_paths` improvements#119974
bors merged 3 commits intorust-lang:masterfrom
nnethercote:trimmed_def_paths-improvements

Commits

Commits on Jan 14, 2024