Fix inconsistent type inference for anonymous functions in class constants

Author: xHeaven

src/Analyser/NodeScopeResolver.php

@@ -1062,6 +1062,19 @@ private function processStmtNode(
 			});
 
 			$this->processStmtNodesInternal($stmt, $classLikeStatements, $classScope, $storage, $classStatementsGatherer, $context);
+			foreach ($stmt->stmts as $classLikeStmt) {
+				if (!$classLikeStmt instanceof Node\Stmt\ClassConst || !$classLikeStmt->isPublic()) {
+					continue;
+				}
+
+				foreach ($classLikeStmt->consts as $const) {
+					$scope = $scope->assignExpression(
+						new Expr\ClassConstFetch(new Name\FullyQualified($classReflection->getName()), $const->name),
+						$classScope->getType($const->value),
+						$classScope->getNativeType($const->value),
+					);
+				}
+			}
 			$this->callNodeCallback($nodeCallback, new ClassPropertiesNode($stmt, $this->readWritePropertiesExtensionProvider, $classStatementsGatherer->getProperties(), $classStatementsGatherer->getPropertyUsages(), $classStatementsGatherer->getMethodCalls(), $classStatementsGatherer->getReturnStatementsNodes(), $classStatementsGatherer->getPropertyAssigns(), $classReflection), $classScope, $storage);
 			$this->callNodeCallback($nodeCallback, new ClassMethodsNode($stmt, $classStatementsGatherer->getMethods(), $classStatementsGatherer->getMethodCalls(), $classReflection), $classScope, $storage);
 			$this->callNodeCallback($nodeCallback, new ClassConstantsNode($stmt, $classStatementsGatherer->getConstants(), $classStatementsGatherer->getConstantFetches(), $classReflection), $classScope, $storage);

tests/PHPStan/Analyser/nsrt/bug-14105.php

@@ -0,0 +1,19 @@
+<?php // lint >= 8.2
+
+namespace Bug14105;
+
+use function PHPStan\Testing\assertType;
+
+final readonly class Foo
+{
+	const func = static function (int $num): array {
+		return ['num' => $num];
+	};
+}
+
+const func = static function (int $num): array {
+	return ['num' => $num];
+};
+
+assertType('Closure(int): array{num: int}', Foo::func);
+assertType('Closure(int): array{num: int}', func);