Skip to content

rustc: Remove needless lifetimes#105975

Merged
bors merged 4 commits intorust-lang:masterfrom jeremystucki:rustc-remove-needless-lifetimesDec 24, 2022