Walk ancestor chain to find promoted property in inherited constructor

When an intermediate class declares its own constructor that calls
parent::__construct(), the promoted property lives in a grandparent
class. Walk up the ancestor chain from the constructor's declaring
class instead of only checking that single class.

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

Author: phpstan-bot

src/Node/ClassPropertiesNode.php

@@ -134,12 +134,18 @@ public function getUninitializedProperties(
 			$is = TrinaryLogic::createFromBoolean($property->isPromoted() && !$property->isPromotedFromTrait());
 			if (!$is->yes() && $classReflection->hasConstructor()) {
 				$constructorDeclaringClass = $classReflection->getConstructor()->getDeclaringClass();
-				if (
-					$constructorDeclaringClass->getName() !== $classReflection->getName()
-					&& $constructorDeclaringClass->hasNativeProperty($property->getName())
-					&& $constructorDeclaringClass->getNativeProperty($property->getName())->isPromoted()
-				) {
-					$is = TrinaryLogic::createYes();
+				if ($constructorDeclaringClass->getName() !== $classReflection->getName()) {
+					$ancestor = $constructorDeclaringClass;
+					while ($ancestor !== null) {
+						if (
+							$ancestor->hasNativeProperty($property->getName())
+							&& $ancestor->getNativeProperty($property->getName())->isPromoted()
+						) {
+							$is = TrinaryLogic::createYes();
+							break;
+						}
+						$ancestor = $ancestor->getParentClass();
+					}
 				}
 			}
 			if (!$is->yes() && $classReflection->hasNativeProperty($property->getName())) {

tests/PHPStan/Rules/Properties/UninitializedPropertyRuleTest.php

@@ -238,7 +238,7 @@ public function testBug13380(): void
 		$this->analyse([__DIR__ . '/data/bug-13380.php'], [
 			[
 				'Class Bug13380\Baz has an uninitialized property $prop. Give it default value or assign it in the constructor.',
-				20,
+				33,
 			],
 		]);
 	}

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

@@ -16,6 +16,19 @@ class Bar extends Foo {
 	public string $prop;
 }
 
+class Bar2 extends Foo
+{
+	public function __construct(
+		string $prop,
+	){
+		parent::__construct($prop);
+	}
+}
+
+class Baz2 extends Bar2 {
+	public string $prop;
+}
+
 class Baz extends Foo {
 	public string $prop;