Support @template-contravariant tags

phpstan · Jun 26, 2022 · 135607f · 135607f
1 parent 25ddf93
commit 135607f
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/src/Parser/PhpDocParser.php b/src/Parser/PhpDocParser.php
@@ -178,6 +178,9 @@ public function parseTagValue(TokenIterator $tokens, string $tag): Ast\PhpDoc\Ph
 				case '@template-covariant':
 				case '@phpstan-template-covariant':
 				case '@psalm-template-covariant':
+				case '@template-contravariant':
+				case '@phpstan-template-contravariant':
+				case '@psalm-template-contravariant':
 					$tagValue = $this->parseTemplateTagValue($tokens);
 					break;
 

diff --git a/tests/PHPStan/Parser/PhpDocParserTest.php b/tests/PHPStan/Parser/PhpDocParserTest.php
@@ -3323,6 +3323,21 @@ public function provideTemplateTagsData(): Iterator
 				),
 			]),
 		];
+
+		yield [
+			'OK with contravariance',
+			'/** @template-contravariant T */',
+			new PhpDocNode([
+				new PhpDocTagNode(
+					'@template-contravariant',
+					new TemplateTagValueNode(
+						'T',
+						null,
+						''
+					)
+				),
+			]),
+		];
 	}
 
 	public function provideExtendsTagsData(): Iterator