fix

Author: staabm

src/Analyser/MutatingScope.php

@@ -3741,22 +3741,34 @@ private function enterAnonymousFunctionWithoutReflection(
 
 					if (
 						!$expr instanceof PropertyFetch
-						|| !$expr->name instanceof Node\Identifier
-						|| !$expr->var instanceof Variable
-						|| !is_string($expr->var->name)
-						|| $expr->var->name !== 'this'
 					) {
 						continue;
 					}
 
-					$propertyReflection = $this->propertyReflectionFinder->findPropertyReflectionFromNode($expr, $this);
-					if ($propertyReflection === null) {
-						continue;
-					}
+					while ($expr instanceof PropertyFetch) {
+						if ($expr->var instanceof Variable) {
+							if (
+							 ! $expr->name instanceof Node\Identifier
+							 || !is_string($expr->var->name)
+							 || $expr->var->name !== 'this'
+							) {
+								continue 2;
+							}
+						} elseif (!$expr->var instanceof PropertyFetch) {
+							continue 2;
+						}
 
-					$nativePropertyReflection = $propertyReflection->getNativeReflection();
-					if ($nativePropertyReflection === null || !$nativePropertyReflection->isReadOnly()) {
-						continue;
+						$propertyReflection = $this->propertyReflectionFinder->findPropertyReflectionFromNode($expr, $this);
+						if ($propertyReflection === null) {
+							continue 2;
+						}
+
+						$nativePropertyReflection = $propertyReflection->getNativeReflection();
+						if ($nativePropertyReflection === null || !$nativePropertyReflection->isReadOnly()) {
+							continue 2;
+						}
+
+						$expr = $expr->var;
 					}
 
 					$expressionTypes[$exprString] = $typeHolder;

tests/PHPStan/Analyser/nsrt/bug-13321b.php

@@ -6,7 +6,10 @@
 
 class Foo
 {
-	public function __construct(public string $value)
+	public function __construct(
+		public string $value,
+		readonly public string $readonlyValue,
+	)
 	{
 	}
 }
@@ -27,13 +30,18 @@ public function bar(): void
 		if ($this->foo->value === '') {
 			return;
 		}
+		if ($this->foo->readonlyValue === '') {
+			return;
+		}
 
 		assertType(Foo::class, $this->foo);
 		assertType('non-empty-string', $this->foo->value);
+		assertType('non-empty-string', $this->foo->readonlyValue);
 
 		$test = function () {
 			assertType(Foo::class, $this->foo);
 			assertType('string', $this->foo->value);
+			assertType('non-empty-string', $this->foo->readonlyValue);
 		};
 
 		$test();