Fix

Author: VincentLanglet

src/Reflection/Php/PhpClassReflectionExtension.php

@@ -618,6 +618,12 @@ private function createMethod(
 			$acceptsNamedArguments = true;
 			$selfOutType = null;
 			$phpDocComment = null;
+
+			$isPure = null;
+			if ($this->signatureMapProvider->hasMethodMetadata($declaringClassName, $methodReflection->getName())) {
+				$isPure = $this->signatureMapProvider->getMethodMetadata($declaringClassName, $methodReflection->getName())['hasSideEffects'];
+			}
+
 			$methodSignaturesResult = $this->signatureMapProvider->getMethodSignatures($declaringClassName, $methodReflection->getName(), $methodReflection);
 			foreach ($methodSignaturesResult as $signatureType => $methodSignatures) {
 				if ($methodSignatures === null) {
@@ -693,6 +699,7 @@ private function createMethod(
 
 						$asserts = Assertions::createFromResolvedPhpDocBlock($currentResolvedPhpDoc);
 						$acceptsNamedArguments = $currentResolvedPhpDoc->acceptsNamedArguments();
+						$isPure ??= $currentResolvedPhpDoc->isPure();
 
 						$selfOutTypeTag = $currentResolvedPhpDoc->getSelfOutTag();
 						if ($selfOutTypeTag !== null) {
@@ -727,19 +734,23 @@ private function createMethod(
 				}
 			}
 
-			if ($this->signatureMapProvider->hasMethodMetadata($declaringClassName, $methodReflection->getName())) {
-				$hasSideEffects = TrinaryLogic::createFromBoolean($this->signatureMapProvider->getMethodMetadata($declaringClassName, $methodReflection->getName())['hasSideEffects']);
-			} else {
-				$hasSideEffects = TrinaryLogic::createMaybe();
+			if ($isPure === null) {
+				$classResolvedPhpDoc = $declaringClass->getResolvedPhpDoc();
+				if ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsPure()) {
+					$isPure = true;
+				} elseif ($classResolvedPhpDoc !== null && $classResolvedPhpDoc->areAllMethodsImpure()) {
+					$isPure = false;
+				}
 			}
+
 			return new NativeMethodReflection(
 				$this->reflectionProviderProvider->getReflectionProvider(),
 				$declaringClass,
 				$methodReflection,
 				$currentResolvedPhpDoc ?? null,
 				$variantsByType['positional'],
 				$variantsByType['named'] ?? null,
-				$hasSideEffects,
+				$isPure !== null ? TrinaryLogic::createFromBoolean(!$isPure) : TrinaryLogic::createMaybe(),
 				$throwType,
 				$asserts,
 				$acceptsNamedArguments,