Skip to content

Remove in_band_lifetimes from rustc_typeck#91882

Merged
bors merged 2 commits intorust-lang:masterfrom
Patrick-Poitras:remove-in-band-lifetimes-from-rustc-typeck
Dec 15, 2021

Commits

Commits on Dec 14, 2021