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

Merged

bors merged 2 commits intorust-lang:masterfrom

lcnr:revealing-use-closures-2

Sep 2, 2025

Commits on Aug 27, 2025

change order of `nested_bodies_within`
lcnr
committed

Commits on Sep 1, 2025

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