Skip to content

-Znext-solver: support non-defining uses in closures - #145925

Merged
bors merged 2 commits into
rust-lang:masterfrom
lcnr:revealing-use-closures-2
Sep 2, 2025
Merged

-Znext-solver: support non-defining uses in closures#145925
bors merged 2 commits into
rust-lang:masterfrom
lcnr:revealing-use-closures-2

use defining uses of all bodies to constrain non-defining uses

b8160e9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs