phpstan · phpstan-bot · May 18, 2026 · May 19, 2026 · May 19, 2026 · May 19, 2026
diff --git a/src/Analyser/ExprHandler/Helper/ClosureTypeResolver.php b/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),
 		);
 	}
 

diff --git a/src/PhpDoc/TypeNodeResolver.php b/src/PhpDoc/TypeNodeResolver.php
@@ -1041,7 +1041,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();
 			}

diff --git a/src/Reflection/Callables/CallableParametersAcceptor.php b/src/Reflection/Callables/CallableParametersAcceptor.php
@@ -60,4 +60,6 @@ public function mustUseReturnValue(): TrinaryLogic;
 
 	public function getAsserts(): Assertions;
 
+	public function isStaticClosure(): TrinaryLogic;
+
 }
diff --git a/src/Reflection/Callables/FunctionCallableVariant.php b/src/Reflection/Callables/FunctionCallableVariant.php
@@ -179,4 +179,9 @@ public function getAsserts(): Assertions
 		return $this->function->getAsserts();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 }
diff --git a/src/Reflection/ExtendedCallableFunctionVariant.php b/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();
+	}
+
 }
diff --git a/src/Reflection/GenericParametersAcceptorResolver.php b/src/Reflection/GenericParametersAcceptorResolver.php
@@ -134,6 +134,7 @@ public static function resolve(array $argTypes, ParametersAcceptor $parametersAc
 				$originalParametersAcceptor->acceptsNamedArguments(),
 				$originalParametersAcceptor->mustUseReturnValue(),
 				$originalParametersAcceptor->getAsserts(),
+				$originalParametersAcceptor->isStaticClosure(),
 			);
 		}
 

diff --git a/src/Reflection/InaccessibleMethod.php b/src/Reflection/InaccessibleMethod.php
@@ -98,4 +98,9 @@ public function getAsserts(): Assertions
 		return Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 }
diff --git a/src/Reflection/InitializerExprTypeResolver.php b/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) {

diff --git a/src/Reflection/ParametersAcceptorSelector.php b/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();
 
@@ -854,6 +856,7 @@ public static function combineAcceptors(array $acceptors): ExtendedParametersAcc
 				$usedVariables,
 				$acceptsNamedArguments,
 				$mustUseReturnValue,
+				isStatic: $isStaticClosure,
 			);
 		}
 
@@ -892,6 +895,7 @@ private static function wrapAcceptor(ParametersAcceptor $acceptor): ExtendedPara
 				$acceptor->acceptsNamedArguments(),
 				$acceptor->mustUseReturnValue(),
 				$acceptor->getAsserts(),
+				$acceptor->isStaticClosure(),
 			);
 		}
 

diff --git a/src/Reflection/ResolvedFunctionVariantWithCallable.php b/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();
+	}
+
 }
diff --git a/src/Reflection/TrivialParametersAcceptor.php b/src/Reflection/TrivialParametersAcceptor.php
@@ -108,4 +108,9 @@ public function getAsserts(): Assertions
 		return Assertions::createEmpty();
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
+	}
+
 }
diff --git a/src/Rules/RuleLevelHelper.php b/src/Rules/RuleLevelHelper.php
@@ -123,6 +123,7 @@ private function transformAcceptedType(Type $acceptingType, Type $acceptedType):
 					$acceptedType->getUsedVariables(),
 					$acceptedType->acceptsNamedArguments(),
 					$acceptedType->mustUseReturnValue(),
+					isStatic: $acceptedType->isStaticClosure(),
 				);
 			}
 

diff --git a/src/Type/CallableType.php b/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();

diff --git a/src/Type/CallableTypeHelper.php b/src/Type/CallableTypeHelper.php
@@ -113,6 +113,13 @@ public static function isParametersAcceptorSuperTypeOf(
 			$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);
 	}
 

diff --git a/src/Type/ClosureType.php b/src/Type/ClosureType.php
@@ -88,6 +88,8 @@ class ClosureType implements TypeWithClassName, CallableParametersAcceptor
 
 	private Assertions $assertions;
 
+	private TrinaryLogic $isStatic;
+
 	/**
 	 * @api
 	 * @param list<ParameterReflection>|null $parameters
@@ -112,6 +114,7 @@ public function __construct(
 		?TrinaryLogic $acceptsNamedArguments = null,
 		?TrinaryLogic $mustUseReturnValue = null,
 		?Assertions $assertions = null,
+		?TrinaryLogic $isStatic = null,
 	)
 	{
 		if ($acceptsNamedArguments === null) {
@@ -132,6 +135,7 @@ public function __construct(
 		$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 @@ public function equals(Type $type): bool
 		}
 
 		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,7 +282,9 @@ public function describe(VerbosityLevel $level): string
 			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();
@@ -496,6 +503,11 @@ public function mustUseReturnValue(): TrinaryLogic
 		return $this->mustUseReturnValue;
 	}
 
+	public function isStaticClosure(): TrinaryLogic
+	{
+		return $this->isStatic;
+	}
+
 	public function isCloneable(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
@@ -709,6 +721,7 @@ public function traverse(callable $cb): Type
 			$this->acceptsNamedArguments,
 			$this->mustUseReturnValue,
 			$this->assertions,
+			$this->isStatic,
 		);
 	}
 
@@ -761,6 +774,7 @@ public function traverseSimultaneously(Type $right, callable $cb): Type
 			$this->acceptsNamedArguments,
 			$this->mustUseReturnValue,
 			$this->assertions,
+			$this->isStatic,
 		);
 	}
 

diff --git a/src/Type/Php/ClosureFromCallableDynamicReturnTypeExtension.php b/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(),
 			);
 		}
 

diff --git a/tests/PHPStan/Analyser/nsrt/closure-static-type.php b/tests/PHPStan/Analyser/nsrt/closure-static-type.php
@@ -0,0 +1,62 @@
+<?php
+
+namespace ClosureStaticType;
+
+use Closure;
+use function PHPStan\Testing\assertType;
+
+final class Foo
+{
+
+	public function doFoo(): void
+	{
+		$static = static function (): void {};
+		assertType('Closure(): void', $static);
+
+		$nonStatic = function (): void {};
+		assertType('Closure(): void', $nonStatic);
+
+		$staticArrow = static fn (): int => 1;
+		assertType('Closure(): 1', $staticArrow);
+
+		$nonStaticArrow = fn (): int => 1;
+		assertType('Closure(): 1', $nonStaticArrow);
+	}
+
+	public function doBindTo(): void
+	{
+		$static = static function (): void {};
+		assertType('Closure(): void', $static->bindTo($this));
+
+		$nonStatic = function (): void {};
+		assertType('Closure(): void', $nonStatic->bindTo($this));
+	}
+
+	public function doBind(): void
+	{
+		$static = static function (): void {};
+		assertType('Closure(): void', Closure::bind($static, $this));
+
+		$nonStatic = function (): void {};
+		assertType('Closure(): void', Closure::bind($nonStatic, $this));
+	}
+
+	/**
+	 * @param Closure(): void $unknownClosure
+	 */
+	public function doUnknown(Closure $unknownClosure): void
+	{
+		assertType('Closure(): void', $unknownClosure->bindTo($this));
+		assertType('Closure(): void', Closure::bind($unknownClosure, $this));
+	}
+
+	public function doFromCallable(): void
+	{
+		$fn = Closure::fromCallable(static function (): void {});
+		assertType('Closure(): void', $fn->bindTo($this));
+
+		$fn2 = Closure::fromCallable(function (): void {});
+		assertType('Closure(): void', $fn2->bindTo($this));
+	}
+
+}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -60,4 +60,6 @@ public function mustUseReturnValue(): TrinaryLogic;

		public function getAsserts(): Assertions;

		public function isStaticClosure(): TrinaryLogic;

		}