Skip to content

Remove in_band_lifetimes from rustc_middle#91984

Merged
bors merged 2 commits intorust-lang:masterfrom
Aaron1011:rustc-middle-lifetime
Dec 19, 2021
Merged

Remove `in_band_lifetimes` from `rustc_middle`#91984
bors merged 2 commits intorust-lang:masterfrom
Aaron1011:rustc-middle-lifetime

Commits

Commits on Dec 16, 2021