Skip to content

Remove in_band_lifetimes from rustc_borrowck#91879

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

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

Remove in_band_lifetimes from borrowck

e837101
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs