Fix phpstan/phpstan#14138: errors for argument array template types no longer reported (argument.type)

src/Reflection/Php/PhpClassReflectionExtension.php

@@ -891,14 +891,6 @@
 				}
 				$phpDocParameterTypes[$paramName] = $paramTag->getType();
 			}
-			foreach ($phpDocParameterTypes as $paramName => $paramType) {
-				$phpDocParameterTypes[$paramName] = TemplateTypeHelper::resolveTemplateTypes(
-					$paramType,
-					$phpDocBlockClassReflection->getActiveTemplateTypeMap(),
-					$phpDocBlockClassReflection->getCallSiteVarianceMap(),
-					TemplateTypeVariance::createContravariant(),
-				);
-			}
 			foreach ($resolvedPhpDoc->getParamOutTags() as $paramName => $paramOutTag) {
 				$phpDocParameterOutTypes[$paramName] = TemplateTypeHelper::resolveTemplateTypes(
 					$paramOutTag->getType(),
@@ -914,22 +906,6 @@
 			$isInternal = $resolvedPhpDoc->isInternal();
 			$isFinal = $resolvedPhpDoc->isFinal();
 			$isPure ??= $resolvedPhpDoc->isPure();
-			if ($isPure === null) {
-				$classResolvedPhpDoc = $phpDocBlockClassReflection->getResolvedPhpDoc();
-				if ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsPure()) {
-					if (
-						strtolower($methodReflection->getName()) === '__construct'
-						|| (
-							($phpDocReturnType === null || !$phpDocReturnType->isVoid()->yes())
-							&& !$nativeReturnType->isVoid()->yes()
-						)
-					) {
-						$isPure = true;
-					}
-				} elseif ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsImpure()) {
-					$isPure = false;
-				}
-			}
 			$asserts = Assertions::createFromResolvedPhpDocBlock($resolvedPhpDoc);
 			$acceptsNamedArguments = $resolvedPhpDoc->acceptsNamedArguments();
 			$selfOutType = $resolvedPhpDoc->getSelfOutTag() !== null ? $resolvedPhpDoc->getSelfOutTag()->getType() : null;
@@ -938,6 +914,32 @@
 			}
 		}
 
+		if ($isPure === null) {
+			$classResolvedPhpDoc = $phpDocBlockClassReflection->getResolvedPhpDoc();
+			if ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsPure()) {
+				if (
+					strtolower($methodReflection->getName()) === '__construct'
+					|| (
+						($phpDocReturnType === null || !$phpDocReturnType->isVoid()->yes())
+						&& !$nativeReturnType->isVoid()->yes()
+					)
+				) {
+					$isPure = true;
+				}
+			} elseif ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsImpure()) {
+				$isPure = false;
+			}
+		}
+
+		foreach ($phpDocParameterTypes as $paramName => $paramType) {
+			$phpDocParameterTypes[$paramName] = TemplateTypeHelper::resolveTemplateTypes(
+				$paramType,
+				$phpDocBlockClassReflection->getActiveTemplateTypeMap(),
+				$phpDocBlockClassReflection->getCallSiteVarianceMap(),
+				TemplateTypeVariance::createContravariant(),
+			);
+		}
+
 		return $this->methodReflectionFactory->create(
 			$actualDeclaringClass,
 			$declaringTrait,

tests/PHPStan/Rules/Classes/InstantiationRuleTest.php

@@ -615,4 +615,16 @@ public function testBug11006(): void
 		$this->analyse([__DIR__ . '/data/bug-11006.php'], []);
 	}
 
+	#[RequiresPhp('>= 8.0')]
+	public function testBug14138(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14138.php'], [
+			[
+				'Parameter #1 $data of class Bug14138\Foo constructor expects array{foo: int, bar: int}, array{foo: 1} given.',
+				36,
+				"Array does not have offset 'bar'.",
+			],
+		]);
+	}
+
 }

tests/PHPStan/Rules/Classes/data/bug-14138.php

@@ -0,0 +1,37 @@
+<?php // lint >= 8.0
+
+declare(strict_types = 1);
+
+namespace Bug14138;
+
+/**
+ * @template T of array
+ */
+abstract class AbstractApiData
+{
+    public function __construct(
+        /** @var T */
+        protected array $data
+    ) {}
+
+    /**
+     * @return T
+     */
+    public function getData(): array
+    {
+        return $this->data;
+    }
+}
+
+
+/**
+ * @extends AbstractApiData<array{
+ *     foo: int,
+ *     bar: int,
+ * }>
+ */
+class Foo extends AbstractApiData {}
+
+function testing(): void {
+    $a = new Foo(["foo" => 1]);
+}

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -279,6 +279,13 @@ public function testAllMethodsArePure(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.0')]
+	public function testBug14138Pure(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-14138-pure.php'], []);
+	}
+
 	public function testBug12382(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;

tests/PHPStan/Rules/Pure/data/bug-14138-pure.php

@@ -0,0 +1,27 @@
+<?php // lint >= 8.0
+
+namespace Bug14138Pure;
+
+/**
+ * @phpstan-all-methods-pure
+ */
+class PureClassWithPromotedProps
+{
+	public function __construct(
+		protected int $value
+	) {}
+
+	public function getValue(): int
+	{
+		return $this->value;
+	}
+}
+
+class TestCaller
+{
+	/** @phpstan-pure */
+	public function callPureConstructor(): PureClassWithPromotedProps
+	{
+		return new PureClassWithPromotedProps(1);
+	}
+}