be more permissive wrt overflow and and improve diagnostics - #161341

Open

adwinwhite wants to merge 6 commits into

rust-lang:mainfrom

adwinwhite:overflow-fcw-chain

Commits on Aug 22, 2026

overflow FCW also trigger for overflow -> ambig
lcnr
committed
7b72b73
only emit a single `recursion_depth_exceeding_limit`
lcnr
committed
89c2f92
move fcw to `SolverDelegate`, resolve infer vars
lcnr
committed
d3bde3c
add required_depth to `InspectGoal`

adwinwhite
authored and
lcnr
committed
c0683f6
visit nested goal with largest required depth

adwinwhite
authored and
lcnr
committed
be2ff7e
apply nits
lcnr
committed
3f63986