Simplify polonius location-sensitive analysis - #143093

Merged

bors merged 9 commits into

rust-lang:masterfrom

lqd:polonius-pre-alpha

Aug 10, 2025

Commits on Aug 8, 2025

switch polonius compare-mode to polonius=next
lqd
committed
43327b5
update test expectations for boring locals + dropckoutlives interactions
lqd
committed
f4094ea
simplify polonius=next
lqd
committed
a5adde8
new impl fixes crash test
lqd
committed
1330898
turn expensive assert into debug assertion
lqd
committed
d4bbd68
add some test cases for overlapping yielded items
lqd
committed
b172980
add NLL-like imprecision example
lqd
committed
48ebae9
add cursor-like example that works
lqd
committed
9badbdf
mark polonius=next's NLL imprecisions as known-bugs
lqd
committed
b99fe2b