Use native magic dispatcher purity for annotated methods

Author: truongbo17

src/Reflection/Annotations/AnnotationsMethodsClassReflectionExtension.php

@@ -76,14 +76,14 @@ private function findClassReflectionWithMethod(
 				: null;
 			$classResolvedPhpDoc = $classReflection->getResolvedPhpDoc();
 			$isPure = null;
-			if ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsPure()) {
+			if ($nativeCallMethod !== null) {
+				$nativePurity = $nativeCallMethod->isPure();
+				$isPure = $nativePurity->yes() ? true : ($nativePurity->no() ? false : null);
+			} elseif ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsPure()) {
 				$isPure = true;
 			} elseif ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsImpure()) {
 				$isPure = false;
 			}
-			if ($isPure === true && $nativeCallMethod !== null && $nativeCallMethod->isPure()->no()) {
-				$isPure = false;
-			}
 
 			return new AnnotationMethodReflection(
 				$methodName,

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -351,8 +351,8 @@ public function testBug15322(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;
 		$this->analyse([__DIR__ . '/data/bug-15322.php'], [
-			['Impure call to method Bug15322\\ImpureDispatcher::magic() in pure method Bug15322\\Test::runImpureDispatcher().', 50],
-			['Impure call to method Bug15322\\ImpureStaticDispatcher::magic() in pure method Bug15322\\Test::runImpureStaticDispatcher().', 56],
+			['Impure call to method Bug15322\\ImpureDispatcher::magic() in pure method Bug15322\\Test::runImpureDispatcher().', 63],
+			['Impure call to method Bug15322\\ImpureStaticDispatcher::magic() in pure method Bug15322\\Test::runImpureStaticDispatcher().', 69],
 		]);
 	}
 

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

@@ -36,6 +36,19 @@ public static function __callStatic(string $name, array $arguments): int
 	}
 }
 
+/**
+ * @phpstan-all-methods-impure
+ * @method int magic()
+ */
+class PureDispatcher
+{
+	/** @phpstan-pure */
+	public function __call(string $name, array $arguments): int
+	{
+		return 1;
+	}
+}
+
 class Test
 {
 	/** @phpstan-pure */
@@ -55,4 +68,10 @@ public function runImpureStaticDispatcher(): int
 	{
 		return ImpureStaticDispatcher::magic();
 	}
+
+	/** @phpstan-pure */
+	public function runPureDispatcher(PureDispatcher $object): int
+	{
+		return $object->magic();
+	}
 }