Introduce ClosureType::isStaticClosure()

src/Analyser/ExprHandler/Helper/ClosureTypeResolver.php

@@ -227,13 +227,15 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 					usedVariables: $cachedClosureData['usedVariables'],
 					acceptsNamedArguments: TrinaryLogic::createYes(),
 					mustUseReturnValue: $mustUseReturnValue,
+					isStatic: TrinaryLogic::createFromBoolean($expr->static),
 				);
 			}
 			if (self::$resolveClosureTypeDepth >= 2) {
 				return new ClosureType(
 					$parameters,
 					$scope->getFunctionType($expr->returnType, false, false),
 					$isVariadic,
+					isStatic: TrinaryLogic::createFromBoolean($expr->static),
 				);
 			}
 
@@ -453,6 +455,7 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 			usedVariables: $usedVariables,
 			acceptsNamedArguments: TrinaryLogic::createYes(),
 			mustUseReturnValue: $mustUseReturnValue,
+			isStatic: TrinaryLogic::createFromBoolean($expr->static),
 		);
 	}
 

src/PhpDoc/TypeNodeResolver.php

@@ -421,6 +421,12 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco
 			case 'pure-closure':
 				return ClosureType::createPure();
 
+			case 'static-closure':
+				return new ClosureType(isStatic: TrinaryLogic::createYes());
+
+			case 'static-pure-closure':
+				return new ClosureType(impurePoints: [], isStatic: TrinaryLogic::createYes());
+
 			case 'resource':
 				$type = $this->tryResolvePseudoTypeClassType($typeNode, $nameScope);
 
@@ -1083,7 +1089,7 @@ function (CallableTypeParameterNode $parameterNode) use ($nameScope, &$isVariadi
 				),
 			]);
 		} elseif ($mainType instanceof ClosureType) {
-			$closure = new ClosureType($parameters, $returnType, $isVariadic, $templateTypeMap, templateTags: $templateTags, impurePoints: $mainType->getImpurePoints(), invalidateExpressions: $mainType->getInvalidateExpressions(), usedVariables: $mainType->getUsedVariables(), acceptsNamedArguments: $mainType->acceptsNamedArguments(), mustUseReturnValue: $mainType->mustUseReturnValue());
+			$closure = new ClosureType($parameters, $returnType, $isVariadic, $templateTypeMap, templateTags: $templateTags, impurePoints: $mainType->getImpurePoints(), invalidateExpressions: $mainType->getInvalidateExpressions(), usedVariables: $mainType->getUsedVariables(), acceptsNamedArguments: $mainType->acceptsNamedArguments(), mustUseReturnValue: $mainType->mustUseReturnValue(), isStatic: $mainType->isStaticClosure());
 			if ($closure->isPure()->yes() && $returnType->isVoid()->yes()) {
 				return new ErrorType();
 			}

src/Reflection/Callables/CallableParametersAcceptor.php

@@ -60,4 +60,6 @@ public function mustUseReturnValue(): TrinaryLogic;
 
 	public function getAsserts(): Assertions;
 
+	public function isStaticClosure(): TrinaryLogic;
+
 }

src/Reflection/Callables/FunctionCallableVariant.php

@@ -179,4 +179,9 @@ public function getAsserts(): Assertions
 		return $this->function->getAsserts();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 }

src/Reflection/ExtendedCallableFunctionVariant.php

@@ -38,6 +38,7 @@ public function __construct(
 		private TrinaryLogic $acceptsNamedArguments,
 		private TrinaryLogic $mustUseReturnValue,
 		private ?Assertions $assertions = null,
+		private ?TrinaryLogic $isStatic = null,
 	)
 	{
 		parent::__construct(
@@ -92,4 +93,9 @@ public function getAsserts(): Assertions
 		return $this->assertions ?? Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return $this->isStatic ?? TrinaryLogic::createMaybe();
+	}
+
 }

src/Reflection/GenericParametersAcceptorResolver.php

@@ -135,6 +135,7 @@ public static function resolve(array $argTypes, ParametersAcceptor $parametersAc
 				$originalParametersAcceptor->acceptsNamedArguments(),
 				$originalParametersAcceptor->mustUseReturnValue(),
 				$originalParametersAcceptor->getAsserts(),
+				$originalParametersAcceptor->isStaticClosure(),
 			);
 		}
 

src/Reflection/InaccessibleMethod.php

@@ -98,4 +98,9 @@ public function getAsserts(): Assertions
 		return Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 }

src/Reflection/InitializerExprTypeResolver.php

@@ -263,6 +263,7 @@ public function getType(Expr $expr, InitializerExprContext $context): Type
 				TemplateTypeMap::createEmpty(),
 				TemplateTypeVarianceMap::createEmpty(),
 				acceptsNamedArguments: TrinaryLogic::createYes(),
+				isStatic: TrinaryLogic::createYes(),
 			);
 		}
 		if ($expr instanceof Expr\ArrayDimFetch && $expr->dim !== null) {
@@ -928,11 +929,13 @@ public function createFirstClassCallable(
 			$impurePoints = [];
 			$acceptsNamedArguments = TrinaryLogic::createYes();
 			$mustUseReturnValue = TrinaryLogic::createMaybe();
+			$isStaticClosure = TrinaryLogic::createMaybe();
 			if ($variant instanceof CallableParametersAcceptor) {
 				$throwPoints = $variant->getThrowPoints();
 				$impurePoints = $variant->getImpurePoints();
 				$acceptsNamedArguments = $variant->acceptsNamedArguments();
 				$mustUseReturnValue = $variant->mustUseReturnValue();
+				$isStaticClosure = $variant->isStaticClosure();
 			} elseif ($function !== null) {
 				$returnTypeForThrow = $variant->getReturnType();
 				$throwType = $function->getThrowType();
@@ -976,6 +979,7 @@ public function createFirstClassCallable(
 				acceptsNamedArguments: $acceptsNamedArguments,
 				mustUseReturnValue: $mustUseReturnValue,
 				assertions: $assertions,
+				isStatic: $isStaticClosure,
 			);
 		}
 

src/Reflection/ParametersAcceptorSelector.php

@@ -730,6 +730,7 @@ public static function combineAcceptors(array $acceptors): ExtendedParametersAcc
 		$usedVariables = [];
 		$acceptsNamedArguments = TrinaryLogic::createNo();
 		$mustUseReturnValue = TrinaryLogic::createMaybe();
+		$isStaticClosure = TrinaryLogic::createMaybe();
 
 		foreach ($acceptors as $acceptor) {
 			$returnTypes[] = $acceptor->getReturnType();
@@ -747,6 +748,7 @@ public static function combineAcceptors(array $acceptors): ExtendedParametersAcc
 				$usedVariables = array_merge($usedVariables, $acceptor->getUsedVariables());
 				$acceptsNamedArguments = $acceptsNamedArguments->or($acceptor->acceptsNamedArguments());
 				$mustUseReturnValue = $mustUseReturnValue->or($acceptor->mustUseReturnValue());
+				$isStaticClosure = $isStaticClosure->or($acceptor->isStaticClosure());
 			}
 			$isVariadic = $isVariadic || $acceptor->isVariadic();
 
@@ -864,6 +866,7 @@ public static function combineAcceptors(array $acceptors): ExtendedParametersAcc
 				$usedVariables,
 				$acceptsNamedArguments,
 				$mustUseReturnValue,
+				isStatic: $isStaticClosure,
 			);
 		}
 
@@ -902,6 +905,7 @@ private static function wrapAcceptor(ParametersAcceptor $acceptor): ExtendedPara
 				$acceptor->acceptsNamedArguments(),
 				$acceptor->mustUseReturnValue(),
 				$acceptor->getAsserts(),
+				$acceptor->isStaticClosure(),
 			);
 		}
 

src/Reflection/ResolvedFunctionVariantWithCallable.php

@@ -30,6 +30,7 @@ public function __construct(
 		private TrinaryLogic $acceptsNamedArguments,
 		private TrinaryLogic $mustUseReturnValue,
 		private ?Assertions $assertions = null,
+		private ?TrinaryLogic $isStatic = null,
 	)
 	{
 	}
@@ -124,4 +125,9 @@ public function getAsserts(): Assertions
 		return $this->assertions ?? Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return $this->isStatic ?? TrinaryLogic::createMaybe();
+	}
+
 }

src/Reflection/TrivialParametersAcceptor.php

@@ -108,4 +108,9 @@ public function getAsserts(): Assertions
 		return Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 }

src/Rules/RuleLevelHelper.php

@@ -123,6 +123,7 @@ private function transformAcceptedType(Type $acceptingType, Type $acceptedType):
 					$acceptedType->getUsedVariables(),
 					$acceptedType->acceptsNamedArguments(),
 					$acceptedType->mustUseReturnValue(),
+					isStatic: $acceptedType->isStaticClosure(),
 				);
 			}
 

src/Type/CallableType.php

@@ -404,6 +404,11 @@ public function getAsserts(): Assertions
 		return Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function toNumber(): Type
 	{
 		return new ErrorType();

src/Type/CallableTypeHelper.php

@@ -113,6 +113,13 @@
 			$result = $result->and(new IsSuperTypeOfResult($theirs->isPure()->negate(), []));
 		}
 
+		$ourStatic = $ours->isStaticClosure();
+		if ($ourStatic->yes()) {
+			$result = $result->and(new IsSuperTypeOfResult($theirs->isStaticClosure(), []));
+		} elseif ($ourStatic->no()) {
+			$result = $result->and(new IsSuperTypeOfResult($theirs->isStaticClosure()->negate(), []));
+		}
+
 		return $result->and($isReturnTypeSuperType);
 	}
 

src/Type/ClosureType.php

@@ -88,6 +88,8 @@
 
 	private Assertions $assertions;
 
+	private TrinaryLogic $isStatic;
+
 	/**
 	 * @api
 	 * @param list<ParameterReflection>|null $parameters
@@ -112,6 +114,7 @@
 		?TrinaryLogic $acceptsNamedArguments = null,
 		?TrinaryLogic $mustUseReturnValue = null,
 		?Assertions $assertions = null,
+		?TrinaryLogic $isStatic = null,
 	)
 	{
 		if ($acceptsNamedArguments === null) {
@@ -132,6 +135,7 @@
 		$this->callSiteVarianceMap = $callSiteVarianceMap ?? TemplateTypeVarianceMap::createEmpty();
 		$this->impurePoints = $impurePoints ?? [new SimpleImpurePoint('functionCall', 'call to an unknown Closure', false)];
 		$this->assertions = $assertions ?? Assertions::createEmpty();
+		$this->isStatic = $isStatic ?? TrinaryLogic::createMaybe();
 	}
 
 	public function getAsserts(): Assertions
@@ -268,7 +272,8 @@
 		}
 
 		return $this->describe(VerbosityLevel::precise()) === $type->describe(VerbosityLevel::precise())
-			&& $this->isPure()->equals($type->isPure());
+			&& $this->isPure()->equals($type->isPure())
+			&& $this->isStatic->equals($type->isStatic);
 	}
 
 	public function describe(VerbosityLevel $level): string
@@ -277,38 +282,57 @@
 			static fn (): string => 'Closure',
 			function (): string {
 				if ($this->isCommonCallable) {
-					return $this->isPure()->yes() ? 'pure-Closure' : 'Closure';
+					$prefix = $this->isStatic->yes() ? 'static-' : '';
+					$name = $this->isPure()->yes() ? 'pure-Closure' : 'Closure';
+					return $prefix . $name;
 				}
 
-				$printer = new Printer();
-				$selfWithoutParameterNames = new self(
-					array_map(static fn (ParameterReflection $p): ParameterReflection => new DummyParameter(
-						'',
-						$p->getType(),
-						optional: $p->isOptional() && !$p->isVariadic(),
-						passedByReference: PassedByReference::createNo(),
-						variadic: $p->isVariadic(),
-						defaultValue: $p->getDefaultValue(),
-					), $this->parameters),
-					$this->returnType,
-					$this->variadic,
-					$this->templateTypeMap,
-					$this->resolvedTemplateTypeMap,
-					$this->callSiteVarianceMap,
-					$this->templateTags,
-					$this->throwPoints,
-					$this->impurePoints,
-					$this->invalidateExpressions,
-					$this->usedVariables,
-					$this->acceptsNamedArguments,
-					$this->mustUseReturnValue,
-				);
+				return $this->describeCallable();
+			},
+			function (): string {
+				$prefix = $this->isStatic->yes() ? 'static-' : '';
+
+				if ($this->isCommonCallable) {
+					$name = $this->isPure()->yes() ? 'pure-Closure' : 'Closure';
+					return $prefix . $name;
+				}
 
-				return $printer->print($selfWithoutParameterNames->toPhpDocNode());
+				return $prefix . $this->describeCallable();
 			},
 		);
 	}
 
+	private function describeCallable(): string
+	{
+		$printer = new Printer();
+		$selfWithoutParameterNames = new self(
+			array_map(static fn (ParameterReflection $p): ParameterReflection => new DummyParameter(
+				'',
+				$p->getType(),
+				optional: $p->isOptional() && !$p->isVariadic(),
+				passedByReference: PassedByReference::createNo(),
+				variadic: $p->isVariadic(),
+				defaultValue: $p->getDefaultValue(),
+			), $this->parameters),
+			$this->returnType,
+			$this->variadic,
+			$this->templateTypeMap,
+			$this->resolvedTemplateTypeMap,
+			$this->callSiteVarianceMap,
+			$this->templateTags,
+			$this->throwPoints,
+			$this->impurePoints,
+			$this->invalidateExpressions,
+			$this->usedVariables,
+			$this->acceptsNamedArguments,
+			$this->mustUseReturnValue,
+			$this->assertions,
+			$this->isStatic,
+		);
+
+		return $printer->print($selfWithoutParameterNames->toPhpDocNode());
+	}
+
 	public function isOffsetAccessLegal(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
@@ -496,6 +520,11 @@
 		return $this->mustUseReturnValue;
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return $this->isStatic;
+	}
+
 	public function isCloneable(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
@@ -709,6 +738,7 @@
 			$this->acceptsNamedArguments,
 			$this->mustUseReturnValue,
 			$this->assertions,
+			$this->isStatic,
 		);
 	}
 
@@ -761,6 +791,7 @@
 			$this->acceptsNamedArguments,
 			$this->mustUseReturnValue,
 			$this->assertions,
+			$this->isStatic,
 		);
 	}
 
@@ -897,7 +928,9 @@
 	public function toPhpDocNode(): TypeNode
 	{
 		if ($this->isCommonCallable) {
-			return new IdentifierTypeNode($this->isPure()->yes() ? 'pure-Closure' : 'Closure');
+			$prefix = $this->isStatic->yes() ? 'static-' : '';
+			$name = $this->isPure()->yes() ? 'pure-Closure' : 'Closure';
+			return new IdentifierTypeNode($prefix . $name);
 		}
 
 		$parameters = [];

src/Type/Php/ClosureFromCallableDynamicReturnTypeExtension.php

@@ -56,6 +56,7 @@ public function getTypeFromStaticMethodCall(MethodReflection $methodReflection,
 				usedVariables: $variant->getUsedVariables(),
 				acceptsNamedArguments: $variant->acceptsNamedArguments(),
 				mustUseReturnValue: $variant->mustUseReturnValue(),
+				isStatic: $variant->isStaticClosure(),
 			);
 		}
 

src/Type/VerbosityLevel.php

@@ -138,6 +138,11 @@ public static function getRecommendedLevelByType(Type $acceptingType, ?Type $acc
 			if ($type->isCallable()->yes()) {
 				$moreVerbose = true;
 
+				if ($type instanceof ClosureType && !$type->isStaticClosure()->maybe()) {
+					$veryVerbose = true;
+					return $type;
+				}
+
 				// Keep checking if we need to be very verbose.
 				return $traverse($type);
 			}