Check the subtracted type when a subtracted mixed accepts a value - #6167

Open

zonuexe wants to merge 3 commits into

phpstan:2.2.xfrom

zonuexe:non-empty-mixed-accepts

Commits on Aug 5, 2026

Check the subtracted type when a subtracted mixed accepts a value
zonuexe
committed
11b3296
Carry the subtracted type into the remaining StrictMixedType conversions
zonuexe
committed
f5a63a1
Detect subtracted mixed within the single verbosity traversal instead of a pre-pass
zonuexe
committed
14d40d3