Simplify `break_query_cycles` - #153185

Closed

zetanumbers wants to merge 9 commits into

rust-lang:mainfrom

zetanumbers:simplify_cycle_breaking

Commits on Feb 27, 2026

Replace beack_query_cycles implementation with new
zetanumbers
committed
d7a2352
Write down theorems new cycle breaking depends on
zetanumbers
committed
f7862e4
Fix typo
zetanumbers
committed
9a3400d

Commits on Feb 28, 2026

Restore `QueryWaiter::span` field
zetanumbers
committed
253b3c1

Commits on Mar 2, 2026