Switch HasMethodType/HasPropertyType from ObjectTypeTrait to MaybeObjectTypeTrait#5605

Open

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

phpstan-bot:create-pull-request/patch-7ulxx4w

Commits on May 6, 2026

Do not let `method_exists()` check fall through to general logic when object type contains template types

VincentLanglet
authored and
phpstan-bot
committed
Add test cases for method_exists with mixed and object types

phpstan-bot
and
claude
committed
Fix at type system level: override hasMethod() on TemplateMixedType to return Maybe

phpstan-bot
and
claude
committed
Move fix from TemplateMixedType::hasMethod() to ImpossibleCheckTypeHelper

phpstan-bot
and
claude
committed
Fix HasMethodType::isSuperTypeOf() to delegate to isSubTypeOf() for CompoundTypes

phpstan-bot
and
claude
committed

Commits on May 7, 2026