Rework

Author: VincentLanglet

src/Type/ValueOfType.php

@@ -51,15 +51,17 @@ public function isResolvable(): bool
 	protected function getResult(): Type
 	{
 		if ($this->type->isEnum()->yes()) {
+			$enumCases = $this->type->getEnumCases();
 			if (
-				$this->type instanceof TemplateType
-				&& $this->type->getBound()->equals(new ObjectType('BackedEnum'))
+				$enumCases === []
+				&& $this->type instanceof TemplateType
+				&& (new ObjectType('BackedEnum'))->isSuperTypeOf($this->type->getBound())->yes()
 			) {
 				return new UnionType([new IntegerType(), new StringType()]);
 			}
 
 			$valueTypes = [];
-			foreach ($this->type->getEnumCases() as $enumCase) {
+			foreach ($enumCases as $enumCase) {
 				$valueType = $enumCase->getBackingValueType();
 				if ($valueType === null) {
 					continue;

tests/PHPStan/Rules/Methods/data/bug-12219.php

@@ -24,3 +24,31 @@ public function bar(string $class, mixed $value): void
 		$this->foo($class, $value);
 	}
 }
+
+interface SuperBackedEnum extends \BackedEnum
+{
+	public function customMethod(): void;
+}
+
+class Bug2
+{
+	/**
+	 * @template T of SuperBackedEnum
+	 * @param class-string<T> $class
+	 * @param value-of<T> $value
+	 */
+	public function foo(string $class, mixed $value): void
+	{
+	}
+
+	/**
+	 * @template Q of SuperBackedEnum
+	 * @param class-string<Q> $class
+	 * @param value-of<Q> $value
+	 */
+	public function bar(string $class, mixed $value): void
+	{
+		// Parameter #2 $value of static method Bug::foo() contains unresolvable type.
+		$this->foo($class, $value);
+	}
+}