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-namedSep 1, 2024