Skip to content

lint direct use of rustc_type_ir #141614

Merged
bors merged 1 commit intorust-lang:masterfrom
rperier:lint_type-ir-to-type-middle
Jun 19, 2025
Merged

lint direct use of rustc_type_ir #141614
bors merged 1 commit intorust-lang:masterfrom
rperier:lint_type-ir-to-type-middle

Commits

Commits on Jun 18, 2025