Skip to content

Only warn single-use lifetime when the binders match.#111444

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:issue-111400
May 12, 2023
Merged

Only warn single-use lifetime when the binders match.#111444
bors merged 1 commit intorust-lang:masterfrom
cjgillot:issue-111400

Commits

Commits on May 10, 2023