Rollup merge of #129207 - GrigorenkoPV:elided-is-named, r=cjgillot · rust-lang/miri@7a866dd · GitHub

Commit

Rollup merge of #129207 - GrigorenkoPV:elided-is-named, r=cjgillot

Browse files

Lint that warns when an elided lifetime ends up being a named lifetime

As suggested in rust-lang/rust#48686 (comment)

Fixes #48686

Loading branch information

matthiaskrgr authored Sep 1, 2024

2 parents b384cac + 4e0965a commit 7a866dd