Skip to content

Minor trimmed_def_paths improvements - #119974

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

Minor trimmed_def_paths improvements#119974
bors merged 3 commits into
rust-lang:masterfrom
nnethercote:trimmed_def_paths-improvements

Replace `TrimmedDefPaths` with a bool.

32de78c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs