Skip to content

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

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

Commits

Commits on May 10, 2023