Skip to content

Lint elided lifetimes in path during lifetime resolution.#90446

Merged
bors merged 7 commits intorust-lang:masterfrom
cjgillot:late-elided
Dec 2, 2021
Merged

Lint elided lifetimes in path during lifetime resolution.#90446
bors merged 7 commits intorust-lang:masterfrom
cjgillot:late-elided

Commits

Commits on Nov 30, 2021