wip

Author: zonuexe

src/Analyser/MutatingScope.php

@@ -49,6 +49,7 @@
 use PHPStan\Node\Printer\ExprPrinter;
 use PHPStan\Node\PropertyAssignNode;
 use PHPStan\Parser\ArrayMapArgVisitor;
+use PHPStan\Parser\ClosureBindArgVisitor;
 use PHPStan\Parser\NewAssignedToPropertyVisitor;
 use PHPStan\Parser\Parser;
 use PHPStan\Php\PhpVersion;
@@ -2025,10 +2026,27 @@ static function (Node $node, Scope $scope) use ($arrowScope, &$arrowFunctionImpu
 			if ($this->hasExpressionType($node)->yes()) {
 				return $this->expressionTypes[$exprString]->getType();
 			}
+
+			$scopeClassReflection = null;
+			$isInClass = $this->isInClass();
+			if ($node->class->hasAttribute(ClosureBindArgVisitor::SCOPE_ATTRIBUTE_NAME)) {
+				/** @var ?Expr $scopeClassNode */
+				$scopeClassNode = $node->class->getAttribute(ClosureBindArgVisitor::SCOPE_ATTRIBUTE_NAME);
+				if ($scopeClassNode instanceof Expr\ClassConstFetch
+					&& $scopeClassNode->class instanceof Name
+					&& $scopeClassNode->name instanceof Node\Identifier
+					&& $scopeClassNode->name->toLowerString() === 'class'
+				) {
+					$classScopeName = $this->resolveName($scopeClassNode->class);
+					$isInClass = true;
+					$scopeClassReflection = $this->reflectionProvider->getClass($classScopeName);
+				}
+			}
+
 			return $this->initializerExprTypeResolver->getClassConstFetchTypeByReflection(
 				$node->class,
 				$node->name->name,
-				$this->isInClass() ? $this->getClassReflection() : null,
+				$isInClass ? $scopeClassReflection ?? $this->getClassReflection() : null,
 				fn (Expr $expr): Type => $this->getType($expr),
 			);
 		}