Add missing @phpstan- prefixed tags

Author: zonuexe

src/Rules/PhpDoc/InvalidPHPStanDocTagRule.php

@@ -23,11 +23,11 @@ class InvalidPHPStanDocTagRule implements Rule
 		'@phpstan-param',
 		'@phpstan-param-out',
 		'@phpstan-var',
-		'@phpstan-template',
 		'@phpstan-extends',
 		'@phpstan-implements',
 		'@phpstan-use',
 		'@phpstan-template',
+		'@phpstan-template-contravariant',
 		'@phpstan-template-covariant',
 		'@phpstan-return',
 		'@phpstan-throws',
@@ -36,6 +36,7 @@ class InvalidPHPStanDocTagRule implements Rule
 		'@phpstan-method',
 		'@phpstan-pure',
 		'@phpstan-impure',
+		'@phpstan-immutable',
 		'@phpstan-type',
 		'@phpstan-import-type',
 		'@phpstan-property',
@@ -47,6 +48,9 @@ class InvalidPHPStanDocTagRule implements Rule
 		'@phpstan-assert-if-false',
 		'@phpstan-self-out',
 		'@phpstan-this-out',
+		'@phpstan-allow-private-mutation',
+		'@phpstan-readonly',
+		'@phpstan-readonly-allow-private-mutation',
 	];
 
 	public function __construct(private Lexer $phpDocLexer, private PhpDocParser $phpDocParser)

tests/PHPStan/Rules/PhpDoc/InvalidPHPStanDocTagRuleTest.php

@@ -35,4 +35,9 @@ public function testRule(): void
 		]);
 	}
 
+	public function testBug8697(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-8697.php'], []);
+	}
+
 }

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

@@ -0,0 +1,34 @@
+<?php declare(strict_types = 1);
+
+/**
+ * @phpstan-immutable
+ * @phpstan-template-contravariant T
+ */
+class Bug8697
+{
+
+	/**
+	 * @phpstan-readonly
+	 * @phpstan-allow-private-mutation
+	 * @phpstan-var mixed
+	 */
+	public $p1;
+
+	/**
+	 * @phpstan-readonly-allow-private-mutation
+	 * @phpstan-var mixed
+	 * @phpstan-throws LogicException
+	 * @phpstan-return void
+	 */
+	public $p2;
+
+	/**
+	 * @phpstan-param mixed $v
+	 * @phpstan-param-out 1 $v
+	 */
+	public function f(&$v)
+	{
+		$v = 1;
+	}
+
+}