Skip to content

Lint that warns when an elided lifetime ends up being a named lifetime (elided_named_lifetimes)#129207

Merged
bors merged 3 commits intorust-lang:masterfrom
GrigorenkoPV:elided-is-named
Sep 1, 2024
Merged

Lint that warns when an elided lifetime ends up being a named lifetime (`elided_named_lifetimes`)#129207
bors merged 3 commits intorust-lang:masterfrom
GrigorenkoPV:elided-is-named

Commits

Commits on Aug 31, 2024