Add getAsserts() to CallableParametersAcceptor interface

Move assertion retrieval from ClosureType-specific code to the
CallableParametersAcceptor interface, so TypeSpecifier can use the
interface method instead of instanceof ClosureType checks.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/TypeSpecifier.php

@@ -45,7 +45,6 @@
 use PHPStan\Type\Accessory\NonEmptyArrayType;
 use PHPStan\Type\ArrayType;
 use PHPStan\Type\BooleanType;
-use PHPStan\Type\ClosureType;
 use PHPStan\Type\ConditionalTypeForParameter;
 use PHPStan\Type\Constant\ConstantArrayType;
 use PHPStan\Type\Constant\ConstantArrayTypeBuilder;
@@ -1784,13 +1783,9 @@ private function specifyTypesFromCallableCall(TypeSpecifierContext $context, Fun
 		$assertions = null;
 		$parametersAcceptor = null;
 
-		// Check for ClosureType with assertions (from first-class callables)
+		// Check for CallableParametersAcceptor with assertions (from first-class callables)
 		if ($calleeType->isCallable()->yes()) {
 			foreach ($calleeType->getCallableParametersAcceptors($scope) as $variant) {
-				if (!$variant instanceof ClosureType) {
-					continue;
-				}
-
 				$variantAssertions = $variant->getAsserts();
 				if ($variantAssertions->getAll() === []) {
 					continue;

src/Reflection/Callables/CallableParametersAcceptor.php

@@ -3,6 +3,7 @@
 namespace PHPStan\Reflection\Callables;
 
 use PHPStan\Node\InvalidateExprNode;
+use PHPStan\Reflection\Assertions;
 use PHPStan\Reflection\ParametersAcceptor;
 use PHPStan\TrinaryLogic;
 
@@ -57,4 +58,6 @@ public function getUsedVariables(): array;
 	 */
 	public function mustUseReturnValue(): TrinaryLogic;
 
+	public function getAsserts(): Assertions;
+
 }

src/Reflection/Callables/FunctionCallableVariant.php

@@ -2,6 +2,7 @@
 
 namespace PHPStan\Reflection\Callables;
 
+use PHPStan\Reflection\Assertions;
 use PHPStan\Reflection\ExtendedMethodReflection;
 use PHPStan\Reflection\ExtendedParameterReflection;
 use PHPStan\Reflection\ExtendedParametersAcceptor;
@@ -173,4 +174,9 @@ public function mustUseReturnValue(): TrinaryLogic
 		return $this->function->mustUseReturnValue();
 	}
 
+	public function getAsserts(): Assertions
+	{
+		return $this->function->getAsserts();
+	}
+
 }

src/Reflection/ExtendedCallableFunctionVariant.php

@@ -6,6 +6,7 @@
 use PHPStan\Reflection\Callables\CallableParametersAcceptor;
 use PHPStan\Reflection\Callables\SimpleImpurePoint;
 use PHPStan\Reflection\Callables\SimpleThrowPoint;
+use PHPStan\Reflection\Assertions;
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\Generic\TemplateTypeMap;
 use PHPStan\Type\Generic\TemplateTypeVarianceMap;
@@ -37,6 +38,7 @@ public function __construct(
 		private array $usedVariables,
 		private TrinaryLogic $acceptsNamedArguments,
 		private TrinaryLogic $mustUseReturnValue,
+		private ?Assertions $assertions = null,
 	)
 	{
 		parent::__construct(
@@ -86,4 +88,9 @@ public function mustUseReturnValue(): TrinaryLogic
 		return $this->mustUseReturnValue;
 	}
 
+	public function getAsserts(): Assertions
+	{
+		return $this->assertions ?? Assertions::createEmpty();
+	}
+
 }

src/Reflection/GenericParametersAcceptorResolver.php

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

src/Reflection/InaccessibleMethod.php

@@ -4,6 +4,7 @@
 
 use PHPStan\Reflection\Callables\CallableParametersAcceptor;
 use PHPStan\Reflection\Callables\SimpleImpurePoint;
+use PHPStan\Reflection\Assertions;
 use PHPStan\TrinaryLogic;
 use PHPStan\Type\Generic\TemplateTypeMap;
 use PHPStan\Type\Generic\TemplateTypeVarianceMap;
@@ -93,4 +94,9 @@ public function mustUseReturnValue(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function getAsserts(): Assertions
+	{
+		return Assertions::createEmpty();
+	}
+
 }

src/Reflection/ParametersAcceptorSelector.php

@@ -897,6 +897,7 @@ private static function wrapAcceptor(ParametersAcceptor $acceptor): ExtendedPara
 				$acceptor->getUsedVariables(),
 				$acceptor->acceptsNamedArguments(),
 				$acceptor->mustUseReturnValue(),
+				$acceptor->getAsserts(),
 			);
 		}
 

src/Reflection/ResolvedFunctionVariantWithCallable.php

@@ -29,6 +29,7 @@ public function __construct(
 		private array $usedVariables,
 		private TrinaryLogic $acceptsNamedArguments,
 		private TrinaryLogic $mustUseReturnValue,
+		private ?Assertions $assertions = null,
 	)
 	{
 	}
@@ -118,4 +119,9 @@ public function mustUseReturnValue(): TrinaryLogic
 		return $this->mustUseReturnValue;
 	}
 
+	public function getAsserts(): Assertions
+	{
+		return $this->assertions ?? Assertions::createEmpty();
+	}
+
 }

src/Reflection/TrivialParametersAcceptor.php

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

src/Type/CallableType.php

@@ -12,6 +12,7 @@
 use PHPStan\PhpDocParser\Ast\Type\IdentifierTypeNode;
 use PHPStan\PhpDocParser\Ast\Type\TypeNode;
 use PHPStan\PhpDocParser\Printer\Printer;
+use PHPStan\Reflection\Assertions;
 use PHPStan\Reflection\Callables\CallableParametersAcceptor;
 use PHPStan\Reflection\Callables\SimpleImpurePoint;
 use PHPStan\Reflection\Callables\SimpleThrowPoint;
@@ -398,6 +399,11 @@ public function mustUseReturnValue(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function getAsserts(): Assertions
+	{
+		return Assertions::createEmpty();
+	}
+
 	public function toNumber(): Type
 	{
 		return new ErrorType();