obligations_for_self_ty: skip irrelevant goals (recompute sub_root from stalled_vars) - #156187
Merged
rust-bors[bot] merged 5 commits intoJun 9, 2026
Merged
Commits
Commits on Jun 9, 2026
- authored andcommitted
- committed
- committed
- committed
- committed