-Zassumptions-on-binders#155887

Merged

rust-bors[bot] merged 9 commits into

rust-lang:mainfrom

BoxyUwU:higher_ranked_assumptions_v2

May 12, 2026

Commits on May 11, 2026

add higher ranked assumptions v2 flag

BoxyUwU
authored and
lcnr
committed
new region constraint representation

BoxyUwU
authored and
lcnr
committed
compute and track assumptions on entered binders

BoxyUwU
authored and
lcnr
committed
produce new region constraints

BoxyUwU
authored and
lcnr
committed
destructure in root universe

BoxyUwU
authored and
lcnr
committed
rewrite region constraints to smaller universes

BoxyUwU
authored and
lcnr
committed
new stuff

BoxyUwU
authored and
lcnr
committed
break on stable

BoxyUwU
authored and
lcnr
committed
review

BoxyUwU
authored and
lcnr
committed