Annotation test

Author: VincentLanglet

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -232,6 +232,14 @@ public function testBug12382(): void
 				'Method Bug12382\FinalHelloWorld2::dummy() is marked as impure but does not have any side effects.',
 				33,
 			],
+			[
+				'Method Bug12382\FinalHelloWorld3::dummy() is marked as impure but does not have any side effects.',
+				42,
+			],
+			[
+				'Method Bug12382\FinalHelloWorld4::dummy() is marked as impure but does not have any side effects.',
+				53,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Pure/data/bug-12382.php

@@ -34,3 +34,23 @@ final public function dummy() : self{
 		return $this;
 	}
 }
+
+/** @final */
+class FinalHelloWorld3
+{
+	/** @phpstan-impure */
+	public function dummy() : self{
+		return $this;
+	}
+}
+
+class FinalHelloWorld4
+{
+	/**
+	 * @final
+	 * @phpstan-impure
+	 */
+	public function dummy() : self{
+		return $this;
+	}
+}