Record conditional expressions for more assignment shapes - #6381

Open

ondrejmirtes wants to merge 5 commits into

2.2.xfrom

dependent-types-assign-holders

Commits on Sep 5, 2026

Add regression test for #12620

ondrejmirtes
and
claude
committed
b70de65
Derive per-arm conditional expressions from overlapping ternary arm types

ondrejmirtes
and
claude
committed
db1c5c3
Record needle-implies-true conditional expression for in_array() assignments

ondrejmirtes
and
claude
committed
b7d9e69
Propagate conditional expressions through derived assignments

ondrejmirtes
and
claude
committed
32c39d8
Add required lint version comments to the bug-7905 fixtures

ondrejmirtes
and
claude
committed
b67261d