VarTagTypeRuleHelper - remove namespace and uses from NameScope

Node provided by `Type::toPhpDocNode()` is already FQN.

Author: ondrejmirtes

src/Analyser/NameScope.php

@@ -174,6 +174,20 @@ public function withTemplateTypeMap(TemplateTypeMap $map): self
 		);
 	}
 
+	public function withoutNamespaceAndUses(): self
+	{
+		return new self(
+			null,
+			[],
+			$this->className,
+			$this->functionName,
+			$this->templateTypeMap,
+			$this->typeAliasesMap,
+			$this->bypassTypeAliases,
+			$this->constUses,
+		);
+	}
+
 	public function withClassName(string $className): self
 	{
 		return new self(

src/Rules/PhpDoc/VarTagTypeRuleHelper.php

@@ -240,7 +240,7 @@ private function createNameScope(Scope $scope): NameScope
 			$scope->isInClass() ? $scope->getClassReflection()->getName() : null,
 			$scope->isInTrait() ? $scope->getTraitReflection()->getName() : null,
 			$function !== null ? $function->getName() : null,
-		);
+		)->withoutNamespaceAndUses();
 	}
 
 }

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1212,7 +1212,8 @@ public function testBug5091(): void
 	public function testBug9459(): void
 	{
 		$errors = $this->runAnalyse(__DIR__ . '/data/bug-9459.php');
-		$this->assertCount(0, $errors);
+		$this->assertCount(1, $errors);
+		$this->assertSame('PHPDoc tag @var with type callable(): array<mixed> is not subtype of native type Closure(): array{}.', $errors[0]->getMessage());
 	}
 
 	public function testBug9573(): void

tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -226,7 +226,12 @@ public function testBug11535(): void
 		$this->checkTypeAgainstPhpDocType = true;
 		$this->strictWideningCheck = true;
 
-		$this->analyse([__DIR__ . '/data/bug-11535.php'], []);
+		$this->analyse([__DIR__ . '/data/bug-11535.php'], [
+			[
+				'PHPDoc tag @var with type Closure(string): array<int> is not subtype of native type Closure(string): array{1, 2, 3}.',
+				6,
+			],
+		]);
 	}
 
 	public function testEnums(): void
@@ -561,4 +566,11 @@ public function testBug12457(): void
 		]);
 	}
 
+	public function testNewIsAlwaysFinalClass(): void
+	{
+		$this->checkTypeAgainstPhpDocType = true;
+		$this->strictWideningCheck = true;
+		$this->analyse([__DIR__ . '/data/new-is-always-final-var-tag-type.php'], []);
+	}
+
 }

tests/PHPStan/Rules/PhpDoc/data/new-is-always-final-var-tag-type.php

@@ -0,0 +1,23 @@
+<?php
+
+namespace NewIsAlwaysFinalVarTagType;
+
+class Foo
+{
+
+	/**
+	 * @return static
+	 */
+	public function returnStatic()
+	{
+		return $this;
+	}
+
+}
+
+function (): void {
+	$foo = new Foo();
+
+	/** @var Foo $bar */
+	$bar = $foo->returnStatic();
+};