Skip to content

rustc_middle: Remove trait DefIdTree#108351

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:rmdit
Mar 5, 2023
Merged

rustc_middle: Remove trait `DefIdTree`#108351
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:rmdit

Commits

Commits on Mar 2, 2023