Resolve template types of method calls on a concrete generic static return type

A return type like `static<int, string>` (no template type in its arguments) was
turned into a GenericObjectType that kept the ClassReflection of the declaring class,
so methods called on the result saw unresolved TKey/TValue (`array<TKey, TValue>`).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Author: pawell67

src/Reflection/Type/CalledOnTypeUnresolvedMethodPrototypeReflection.php

@@ -11,6 +11,7 @@
 use PHPStan\Reflection\Php\ExtendedDummyParameter;
 use PHPStan\Reflection\ResolvedMethodReflection;
 use PHPStan\Turbo\ShadowedByTurboExtension;
+use PHPStan\Type\Generic\GenericObjectType;
 use PHPStan\Type\Generic\GenericStaticType;
 use PHPStan\Type\StaticType;
 use PHPStan\Type\ThisType;
@@ -149,7 +150,19 @@ private function transformStaticType(Type $type): Type
 				if (count($calledOnTypeReflections) === 1) {
 					$calledOnTypeReflection = $calledOnTypeReflections[0];
 
-					return $traverse($type->changeBaseClass($calledOnTypeReflection)->getStaticObjectType());
+					$staticObjectType = $type->changeBaseClass($calledOnTypeReflection)->getStaticObjectType();
+					if ($staticObjectType instanceof GenericObjectType) {
+						// do not carry over the class reflection of the declaring class,
+						// it would not know the type arguments of the resolved type
+						$staticObjectType = new GenericObjectType(
+							$staticObjectType->getClassName(),
+							$staticObjectType->getTypes(),
+							$staticObjectType->getSubtractedType(),
+							variances: $staticObjectType->getVariances(),
+						);
+					}
+
+					return $traverse($staticObjectType);
 				}
 
 				return $this->calledOnType;

tests/PHPStan/Analyser/nsrt/generic-static-concrete-arguments.php

@@ -0,0 +1,49 @@
+<?php declare(strict_types = 1);
+
+namespace GenericStaticConcreteArguments;
+
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template TKey of array-key
+ * @template TValue
+ */
+class Box
+{
+
+	/** @return static<int, string> */
+	public function concrete()
+	{
+		return new static();
+	}
+
+	/** @return static<int, TValue> */
+	public function withTemplate()
+	{
+		return new static();
+	}
+
+	/** @return array<TKey, TValue> */
+	public function all(): array
+	{
+		return [];
+	}
+
+	/** @return TValue */
+	public function first()
+	{
+		return 1;
+	}
+
+}
+
+/**
+ * @param Box<string, bool> $box
+ */
+function test(Box $box): void
+{
+	assertType('GenericStaticConcreteArguments\Box<int, string>', $box->concrete());
+	assertType('array<int, string>', $box->concrete()->all());
+	assertType('string', $box->concrete()->first());
+	assertType('array<int, bool>', $box->withTemplate()->all());
+}