Skip to content

Remove in_band_lifetimes from rustc_borrowck#91879

Merged
bors merged 1 commit intorust-lang:masterfrom
bugadani:in_band_borrowck
Dec 17, 2021
Merged

Remove `in_band_lifetimes` from `rustc_borrowck`#91879
bors merged 1 commit intorust-lang:masterfrom
bugadani:in_band_borrowck

Commits

Commits on Dec 15, 2021