Skip to content

obligations_for_self_ty: skip irrelevant goals (recompute sub_root from stalled_vars)#156187

Merged
rust-bors[bot] merged 5 commits into
rust-lang:mainfrom
inq:obligations-self-ty-recompute-sub-root
Jun 9, 2026
Merged

obligations_for_self_ty: skip irrelevant goals (recompute sub_root from stalled_vars)#156187
rust-bors[bot] merged 5 commits into
rust-lang:mainfrom
inq:obligations-self-ty-recompute-sub-root