Recognize `[$obj, $method]` as callable when `is_callable($obj, $method)` is known true in scope#5547

Open

phpstan-bot wants to merge 11 commits intophpstan:2.1.xfrom

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

Commits on Apr 28, 2026

Recognize `[$obj, $method]` as callable when `method_exists($obj, $method)` is known true in scope

VincentLanglet
authored and
staabm
committed
Remove redundant array structure checks in ArrayHandler

authored and
staabm
committed
Only recognize [$obj, $method] as callable when is_callable() is known true, not method_exists()

authored and
staabm
committed
Limit is_callable scope check to exactly 2-element arrays

authored and
staabm
committed
Reorder conditions for performance and check array item keys; inline isCallableMarker

authored and
staabm
committed
Support explicit [0 => $obj, 1 => $method] keys in is_callable scope check

authored and
staabm
committed
Merge bug-4510 test files into single nsrt file used by both NSRT and rule tests

authored and
staabm
committed
Use single quotes for strings without special escape sequences in CallCallablesRuleTest

authored and
staabm
committed
Add test coverage for is_callable and method_exists with named arguments

phpstan-bot
and
claude
committed
Simplify ArrayHandler callable check to use only hasExpressionType

phpstan-bot
and
claude
committed
Fix is_callable marker to use whole array arg, check isTrue() in ArrayHandler

phpstan-bot
and
claude
committed