Override string/scalar type queries on HasMethodType/HasPropertyType to return Maybe

HasMethodType and HasPropertyType use ObjectTypeTrait which returns No
for isString(), isClassString(), isLiteralString(), etc. But these
accessory types are agnostic about whether the underlying type is an
object or a class-string — method_exists() and property_exists() work
on both. Returning No breaks CompoundType delegation: when
AccessoryLiteralStringType::isSubTypeOf(HasMethodType) checks
HasMethodType::isLiteralString(), it gets No and incorrectly concludes
the types are incompatible.

Override the 9 string/scalar methods to return Maybe, keeping
ObjectTypeTrait for object-related behavior (isObject, canCallMethods,
etc.). This fixes the CompoundType delegation and removes the need for
the ImpossibleCheckTypeHelper workaround.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Rules/Comparison/ImpossibleCheckTypeHelper.php

@@ -241,10 +241,7 @@ public function findSpecifiedType(
 								&& $genericType->hasMethod($methodType->getValue())->no()) {
 								return false;
 							}
-
-							return null;
 						}
-
 					}
 				}
 			}

src/Type/Accessory/HasMethodType.php

@@ -181,6 +181,51 @@ public function getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope)
 		];
 	}
 
+	public function isString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isNumericString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isNonEmptyString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isNonFalsyString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isLiteralString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isLowercaseString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isUppercaseString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isClassString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isScalar(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function getEnumCases(): array
 	{
 		return [];

src/Type/Accessory/HasPropertyType.php

@@ -158,6 +158,51 @@ public function getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope)
 		return [new TrivialParametersAcceptor()];
 	}
 
+	public function isString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isNumericString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isNonEmptyString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isNonFalsyString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isLiteralString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isLowercaseString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isUppercaseString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isClassString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isScalar(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function getEnumCases(): array
 	{
 		return [];