Manually walk into WF obligations in `BestObligation` proof tree visitor#135900

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:derive-wf

Feb 1, 2025

Commits on Jan 31, 2025

Move fulfillment error derivation into new module
compiler-errors
committed
Manually walk into WF obligations in BestObligation proof tree visitor
compiler-errors
committed