wip

Author: zonuexe

src/Analyser/NodeScopeResolver.php

@@ -4600,6 +4600,23 @@ private function processArgs(
 					}
 					$parameter = $lastParameter;
 				}
+
+				if ($parameter instanceof ParameterReflectionWithPhpDocs
+					&& $parameter->isPureUnlessCallableIsImpureParameter()
+					&& $parameterType->isTrue()->yes()
+				) {
+					if (count($parameterType->getCallableParametersAcceptors($scope)) > 0) {
+						$parameterCallable = $parameterType->getCallableParametersAcceptors($scope)[0];
+						$certain = $parameterCallable->isPure()->yes();
+						if ($certain) {
+							$impurePoints[] = new SimpleImpurePoint(
+								'functionCall',
+								sprintf('call to function %s()', $calleeReflection->getName()),
+								$certain,
+							);
+						}
+					}
+				}
 			}
 
 			$lookForUnset = false;

src/Reflection/ExtendedParameterReflection.php

@@ -19,4 +19,6 @@ public function isImmediatelyInvokedCallable(): TrinaryLogic;
 
 	public function getClosureThisType(): ?Type;
 
+	public function isPureUnlessCallableIsImpureParameter(): bool;
+
 }

src/Reflection/Native/ExtendedNativeParameterReflection.php

@@ -22,6 +22,7 @@ public function __construct(
 		private ?Type $outType,
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
+		private bool $pureUnlessCallableIsImpureParameter = false,
 	)
 	{
 	}
@@ -81,4 +82,9 @@ public function getClosureThisType(): ?Type
 		return $this->closureThisType;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }

src/Reflection/Php/ExtendedDummyParameter.php

@@ -22,6 +22,7 @@ public function __construct(
 		private ?Type $outType,
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
+		private bool $pureUnlessCallableIsImpureParameter = false,
 	)
 	{
 		parent::__construct($name, $type, $optional, $passedByReference, $variadic, $defaultValue);
@@ -52,4 +53,9 @@ public function getClosureThisType(): ?Type
 		return $this->closureThisType;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }

src/Reflection/Php/PhpFunctionFromParserNodeReflection.php

@@ -164,6 +164,12 @@ public function getParameters(): array
 				$closureThisType = null;
 			}
 
+			if (isset($this->pureUnlessCallableIsImpureParameters[$parameter->var->name])) {
+				$pureUnlessCallableIsImpureParameter = $this->pureUnlessCallableIsImpureParameters[$parameter->var->name];
+			} else {
+				$pureUnlessCallableIsImpureParameter = false;
+			}
+
 			$parameters[] = new PhpParameterFromParserNodeReflection(
 				$parameter->var->name,
 				$isOptional,
@@ -177,6 +183,7 @@ public function getParameters(): array
 				$this->parameterOutTypes[$parameter->var->name] ?? null,
 				$immediatelyInvokedCallable,
 				$closureThisType,
+				$pureUnlessCallableIsImpureParameter,
 			);
 		}
 

src/Reflection/Php/PhpParameterFromParserNodeReflection.php

@@ -26,6 +26,7 @@ public function __construct(
 		private ?Type $outType,
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
+		private bool $pureUnlessCallableIsImpureParameter,
 	)
 	{
 	}
@@ -98,4 +99,9 @@ public function getClosureThisType(): ?Type
 		return $this->closureThisType;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }

src/Reflection/Php/PhpParameterReflection.php

@@ -29,6 +29,7 @@ public function __construct(
 		private ?Type $outType,
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
+		private bool $pureUnlessCallableIsImpureParameter = false,
 	)
 	{
 	}
@@ -133,4 +134,9 @@ public function getClosureThisType(): ?Type
 		return $this->closureThisType;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }