Do not treat `method_exists()` as always true for `@method`-annotated methods#5664

Open

phpstan-bot wants to merge 9 commits into

phpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-6o6iiqe

Commits on May 14, 2026

Do not treat `method_exists()` as always true for `@method`-annotated methods

VincentLanglet
authored and
phpstan-bot
committed
Report nested method_exists() as always-true when already specified

phpstan-bot
and
claude
committed

Commits on May 15, 2026

Check hasNativeMethod() in MethodExistsTypeSpecifyingExtension like PropertyExistsTypeSpecifyingExtension

phpstan-bot
and
claude
committed
Report nested method_exists()/property_exists() as always-true for @method/@property

phpstan-bot
and
claude
committed
Handle @method on generic class-strings in MethodExistsTypeSpecifyingExtension

phpstan-bot
and
claude
committed
Extract createFuncCallSpec() private method to deduplicate FuncCall spec creation

phpstan-bot
and
claude
committed
Fix missed $funcCallSpec reference in getClassStringObjectType() path

phpstan-bot
and
claude
committed
Remove redundant early check from ImpossibleCheckTypeHelper, refactor funcCallSpec creation

phpstan-bot
and
claude
committed
Add tests
VincentLanglet
committed