Add test

Author: VincentLanglet

tests/PHPStan/Rules/PhpDoc/WrongVariableNameInVarTagRuleTest.php

@@ -601,14 +601,23 @@ public function testGenericSubtypeWithStrictCheck(): void
 				131,
 				'Template type E on class GenericSubtype\IRepository is not covariant. Learn more: <fg=cyan>https://phpstan.org/blog/whats-up-with-template-covariant</>',
 			],
+			[
+				'PHPDoc tag @var with type GenericSubtype\Collection<int> is not subtype of type GenericSubtype\Collection<string>.',
+				162,
+			],
 		]);
 	}
 
 	public function testGenericSubtypeWithoutStrictCheck(): void
 	{
 		$this->checkTypeAgainstPhpDocType = true;
 		$this->strictWideningCheck = false;
-		$this->analyse([__DIR__ . '/data/generic-subtype.php'], []);
+		$this->analyse([__DIR__ . '/data/generic-subtype.php'], [
+			[
+				'PHPDoc tag @var with type GenericSubtype\Collection<int> is not subtype of type GenericSubtype\Collection<string>.',
+				162,
+			],
+		]);
 	}
 
 	public function testNewIsAlwaysFinalClass(): void

tests/PHPStan/Rules/PhpDoc/data/generic-subtype.php

@@ -146,3 +146,19 @@ protected function getTargetRepository(): IRepository
 	 */
 	protected function test($repository): void {}
 }
+
+/** @template T */
+class Collection
+{
+}
+
+abstract class AlwaysFail
+{
+	/** @return Collection<string> */
+	abstract public function getCollection(): Collection;
+
+	public function test(): void {
+		/** @var Collection<int> $collection */
+		$collection = $this->getCollection();
+	}
+}