Don't error with checkMissingCallableSignature: true about degraded closures

src/Type/CallableType.php

@@ -84,14 +84,20 @@ public function __construct(
 		?TemplateTypeMap $resolvedTemplateTypeMap = null,
 		private array $templateTags = [],
 		?TrinaryLogic $isPure = null,
+		?bool $isCommonCallable = null,
 	)
 	{
 		$this->parameters = $parameters ?? [];
 		$this->returnType = $returnType ?? new MixedType();
-		$this->isCommonCallable = $parameters === null && $returnType === null;
 		$this->templateTypeMap = $templateTypeMap ?? TemplateTypeMap::createEmpty();
 		$this->resolvedTemplateTypeMap = $resolvedTemplateTypeMap ?? TemplateTypeMap::createEmpty();
 		$this->isPure = $isPure ?? TrinaryLogic::createMaybe();
+
+		if ($isCommonCallable !== null) {
+			$this->isCommonCallable = $isCommonCallable;
+		} else {
+			$this->isCommonCallable = $parameters === null && $returnType === null;
+		}
 	}
 
 	/**

src/Type/Constant/ConstantArrayTypeBuilder.php

@@ -315,7 +315,7 @@ public function getArray(): Type
 
 		if ($this->degradeClosures) {
 			$itemTypes = [];
-			$itemTypes[] = new CallableType();
+			$itemTypes[] = new CallableType(isCommonCallable: false);
 			foreach ($this->valueTypes as $valueType) {
 				if ($valueType instanceof ClosureType) {
 					continue;

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -247,6 +247,7 @@ private static function findTestFiles(): iterable
 		yield __DIR__ . '/../Rules/Methods/data/bug-4801.php';
 		yield __DIR__ . '/../Rules/Arrays/data/narrow-superglobal.php';
 		yield __DIR__ . '/../Rules/Methods/data/bug-12927.php';
+		yield __DIR__ . '/../Rules/Properties/data/bug-14012.php';
 	}
 
 	/**

tests/PHPStan/Analyser/nsrt/degrade-closures-return-types.php

@@ -0,0 +1,26 @@
+<?php
+
+namespace DegradeClosures;
+
+use function PHPStan\Testing\assertType;
+
+$arr = [];
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function ():int {return 1;};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function () {};
+$arr[] = static function ():bool {return true;};
+assertType('array{Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): 1, Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): void, Closure(): true}', $arr);
+
+$arr[] = static function () {};
+assertType('non-empty-list<callable(): mixed>&oversized-array', $arr);

tests/PHPStan/Rules/Properties/MissingPropertyTypehintRuleTest.php

@@ -76,4 +76,9 @@ public function testPromotedProperties(): void
 		$this->analyse([__DIR__ . '/data/promoted-properties-missing-typehint.php'], []);
 	}
 
+	public function testBug14012(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14012.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Properties/data/bug-14012.php

@@ -0,0 +1,43 @@
+<?php declare(strict_types=1);
+
+namespace Bug14012;
+
+use PhpParser\Node;
+use PHPStan\Analyser\Scope;
+use function PHPStan\Testing\assertType;
+
+final class ExpectationMethodResolver
+{
+	/**
+	 * @var array{
+	 *   hasMethod: \Closure(Scope, Node\Arg, Node\Arg): Node\Expr,
+	 *   hasProperty: \Closure(Scope, Node\Arg, Node\Arg): Node\Expr,
+	 *   isArray: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isBool: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isCallable: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isCountable: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isFalse: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isFloat: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isInstanceOf: \Closure(Scope, Node\Arg, Node\Arg): Node\Expr,
+	 *   isInt: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isIterable: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isList: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isMap: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isNaturalInt: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isNegativeInt: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isNonEmptyString: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isNull: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isNumeric: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isObject: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isPositiveInt: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isResource: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isSameAs: \Closure(Scope, Node\Arg, Node\Arg): Node\Expr,
+	 *   isScalar: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isString: \Closure(Scope, Node\Arg): Node\Expr,
+	 *   isTrue: \Closure(Scope, Node\Arg): Node\Expr,
+	 * }
+	 */
+	public static array $resolvers = [];
+}
+
+assertType("non-empty-array<'hasMethod'|'hasProperty'|'isArray'|'isBool'|'isCallable'|'isCountable'|'isFalse'|'isFloat'|'isInstanceOf'|'isInt'|'isIterable'|'isList'|'isMap'|'isNaturalInt'|'isNegativeInt'|'isNonEmptyString'|'isNull'|'isNumeric'|'isObject'|'isPositiveInt'|'isResource'|'isSameAs'|'isScalar'|'isString'|'isTrue', callable(): mixed>&oversized-array", ExpectationMethodResolver::$resolvers);