Native type does not know about purity

Author: VincentLanglet

src/Analyser/MutatingScope.php

@@ -1342,7 +1342,7 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 						TemplateTypeVarianceMap::createEmpty(),
 						[],
 						$cachedClosureData['throwPoints'],
-						$cachedClosureData['impurePoints'],
+						$this->nativeTypesPromoted ? null : $cachedClosureData['impurePoints'],
 						$cachedClosureData['invalidateExpressions'],
 						$cachedClosureData['usedVariables'],
 						true,
@@ -1557,7 +1557,7 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 				TemplateTypeVarianceMap::createEmpty(),
 				[],
 				$throwPointsForClosureType,
-				$impurePointsForClosureType,
+				$this->nativeTypesPromoted ? null : $impurePointsForClosureType,
 				$invalidateExpressions,
 				$usedVariables,
 				true,
@@ -2552,7 +2552,7 @@ private function createFirstClassCallable(
 				$variant instanceof ParametersAcceptorWithPhpDocs ? $variant->getCallSiteVarianceMap() : TemplateTypeVarianceMap::createEmpty(),
 				$templateTags,
 				$throwPoints,
-				$impurePoints,
+				$this->nativeTypesPromoted ? null : $impurePoints,
 				[],
 				[],
 				$acceptsNamedArguments,

tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -182,6 +182,11 @@ public function testBug4505(): void
 		$this->analyse([__DIR__ . '/data/bug-4505.php'], []);
 	}
 
+	public function testBug12458(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12458.php'], []);
+	}
+
 	public function testEnums(): void
 	{
 		if (PHP_VERSION_ID < 80100) {

tests/PHPStan/Rules/PhpDoc/data/bug-12458.php

@@ -0,0 +1,17 @@
+<?php declare(strict_types = 1);
+
+Namespace Bug12458;
+
+class HelloWorld
+{
+	/**
+	 * @param list<HelloWorld> $a
+	 */
+	public function test(array $a): void
+	{
+		/** @var \Closure(): list<HelloWorld> $c */
+		$c = function () use ($a): array {
+			return $a;
+		};
+	}
+}