Skip to content

Some rustc_middle cleanups#146313

Merged
bors merged 3 commits intorust-lang:masterfrom
nnethercote:rustc_middle-ty-cleanups-2
Sep 8, 2025
Merged

Some `rustc_middle` cleanups#146313
bors merged 3 commits intorust-lang:masterfrom
nnethercote:rustc_middle-ty-cleanups-2

Commits

Commits on Sep 7, 2025