Add test

Author: VincentLanglet

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -216,6 +216,37 @@ public function testBug12224(): void
 		]);
 	}
 
+	public function testAllMethodsArePure(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/all-methods-are-pure.php'], [
+			[
+				'Method AllMethodsArePure\Foo::test() is marked as pure but returns void.',
+				10,
+			],
+			[
+				'Method AllMethodsArePure\Foo::pure() is marked as pure but returns void.',
+				17,
+			],
+			[
+				'Method AllMethodsArePure\Foo::impure() is marked as impure but does not have any side effects.',
+				24,
+			],
+			[
+				'Method AllMethodsArePure\Bar::test() is marked as impure but does not have any side effects.',
+				34,
+			],
+			[
+				'Method AllMethodsArePure\Bar::pure() is marked as pure but returns void.',
+				41,
+			],
+			[
+				'Method AllMethodsArePure\Bar::impure() is marked as impure but does not have any side effects.',
+				48,
+			],
+		]);
+	}
+
 	public function testBug12382(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;

tests/PHPStan/Rules/Pure/data/all-methods-are-pure.php

@@ -0,0 +1,51 @@
+<?php
+
+namespace AllMethodsArePure;
+
+/**
+ * @phpstan-all-methods-pure
+ */
+final class Foo
+{
+	function test(): void
+	{
+	}
+
+	/**
+	 * @phpstan-pure
+	 */
+	function pure(): void
+	{
+	}
+
+	/**
+	 * @phpstan-impure
+	 */
+	function impure(): void
+	{
+	}
+}
+
+/**
+ * @phpstan-all-methods-impure
+ */
+final class Bar
+{
+	function test(): void
+	{
+	}
+
+	/**
+	 * @phpstan-pure
+	 */
+	function pure(): void
+	{
+	}
+
+	/**
+	 * @phpstan-impure
+	 */
+	function impure(): void
+	{
+	}
+}