Keep property fetches on the receiver when a static method or static closure invalidates it - #6391

Merged

staabm merged 10 commits into

phpstan:2.3.xfrom

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

Sep 8, 2026

Commits on Sep 8, 2026

Keep property fetches on the receiver when a static method or static closure invalidates it

staabm
authored and
phpstan-bot
committed
91db796
Update FuncCallScopeEffectsHelper.php

staabm
authored and
phpstan-bot
committed
e6a37d8
Test static method invoked via static:: (late static binding)

phpstan-bot
and
claude
committed
40e4325
Invalidate object arguments of an impure static closure

phpstan-bot
and
claude
committed
a0eb0f9
Document that reaching the object through static state is not tracked

phpstan-bot
and
claude
committed
f7a3ba8
Test $this passed as an argument into a method call and a static call

phpstan-bot
and
claude
committed
69b43a5
Test a resource argument passed to an impure static closure

phpstan-bot
and
claude
committed
e69bfaa
Bump expected turbo version
phpstan-bot
committed
4df96db
Invalidate the receiver when a static closure writes through a capture

phpstan-bot
and
claude
committed
1fc3bac
Give the static-closure carve-out up as soon as the closure has a capture
phpstan-bot
committed
a348658