Do not treat private promoted properties as initializing redeclared child property

Private promoted properties are not inherited by child classes, so a child
class redeclaring the property should still report it as uninitialized.

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

Author: phpstan-bot

src/Node/ClassPropertiesNode.php

@@ -433,7 +433,10 @@ private function isPropertyInitializedByConstructorChain(ClassReflection $constr
 			if ($ancestorConstructor !== null) {
 				foreach ($ancestorConstructor->getParameters() as $param) {
 					if ($param->getName() === $propertyName && $param->isPromoted()) {
-						return TrinaryLogic::createYes();
+						$ancestorNativeReflection = $ancestor->getNativeReflection();
+						if ($ancestorNativeReflection->hasProperty($propertyName) && !$ancestorNativeReflection->getProperty($propertyName)->isPrivate()) {
+							return TrinaryLogic::createYes();
+						}
 					}
 				}
 			}

tests/PHPStan/Rules/Properties/UninitializedPropertyRuleTest.php

@@ -244,6 +244,10 @@ public function testBug13380(): void
 				'Class Bug13380\Baz3 has an uninitialized property $prop. Give it default value or assign it in the constructor.',
 				57,
 			],
+			[
+				'Class Bug13380\BarPrivate has an uninitialized property $prop. Give it default value or assign it in the constructor.',
+				69,
+			],
 		]);
 	}
 

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

@@ -56,3 +56,15 @@ public function __construct()
 class Baz3 extends Bar3 {
 	public string $prop;
 }
+
+class FooPrivate
+{
+	public function __construct(
+		private string $prop,
+	){
+	}
+}
+
+class BarPrivate extends FooPrivate {
+	public string $prop;
+}