Manually walk into WF obligations in BestObligation proof tree visitor#135900
Merged
bors merged 2 commits intorust-lang:masterfrom compiler-errors:derive-wfFeb 1, 2025
+650-580
BestObligation proof tree visitor#135900