Invalidate maybe-impure function return values after impure method/static calls#5667

Open

phpstan-bot wants to merge 11 commits into

phpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-vf3uivq

Commits on May 14, 2026

Invalidate maybe-impure function return values after impure method/static calls

VincentLanglet
authored and
phpstan-bot
committed

Commits on May 15, 2026

Prevent type narrowing of expressions containing impure calls

phpstan-bot
and
claude
committed
Remove redundant early returns subsumed by expressionContainsNonPureCall

phpstan-bot
and
claude
committed
Return TrinaryLogic from expressionContainsNonPureCall

phpstan-bot
and
claude
committed
Add tests for impure closures and arrow functions

phpstan-bot
and
claude
committed
Revert "Return TrinaryLogic from expressionContainsNonPureCall"
staabm
committed
Update TypeSpecifier.php
staabm
committed
Do not treat unknown functions as non-pure in sub-expression purity checks

phpstan-bot
and
claude
committed
Add non-regression test for unknown function sub-expression handling

phpstan-bot
and
claude
committed
Replace unit test with NSRT integration test for FAUX_FUNCTION handling

phpstan-bot
and
claude
committed
Restore unit test for unknown function sub-expression handling

phpstan-bot
and
claude
committed