Compute localized outlives constraints lazily - #150551

Merged

rust-bors[bot] merged 9 commits into

rust-lang:mainfrom

lqd:lazy-polonius

Feb 13, 2026

Commits on Feb 12, 2026

introduce lazy traversal for the polonius constraint graph
lqd
committed
0941151
remove eager constraint conversion
lqd
committed
279d55c
optimization: no need to convert liveness data shape anymore
lqd
committed
6dcf65a
optimization: do nothing if there are no loans
lqd
committed
5d15108
remove unneeded liveness context
lqd
committed
f4abd15
introduce graph traversal abstraction and visitor
lqd
committed
7de450a
adapt polonius MIR dump to lazy graph traversal
lqd
committed
1b63325
merge remaining contexts
lqd
committed
880d733
reduce duplication when finding a successor
lqd
committed
285e1be