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

Commits

Commits on Aug 31, 2024