fix(compiler): write inherited promoted properties into their declare…

phpunit/src/TraitsTest.php

@@ -198,7 +198,10 @@ public function testGenPropertyPromotion(): void
         $argInfo->type = 'php::Str';
 
         $result = $this->invoke('genPropertyPromotion', $argInfo);
-        $this->assertStringContainsString('this_.setProperty', $result);
+        $this->assertStringContainsString(
+            'typephp_write_property_scoped(this_, "title", title, nullptr)',
+            $result,
+        );
         $this->assertStringContainsString('title', $result);
     }
 

src/Generator/PropertyPromotion.php

@@ -24,7 +24,11 @@ protected function genPropertyPromotion(ArgInfo $argInfo): string
             return 'this_.' . $this->getNativeObjectPropertyCppName($property, $this->classDef)
                 . ' = ' . $value . ';' . PHP_EOL;
         }
-        $code .= 'this_.setProperty(' . $this->genCharPtr($propertyName) . ', ' . $argInfo->name . ')';
+        $scope = $this->class !== ''
+            ? $this->getClassEntryPtr($this->getFullClassName())
+            : 'nullptr';
+        $code .= 'typephp_write_property_scoped(this_, '
+            . $this->genCharPtr($propertyName) . ', ' . $argInfo->name . ', ' . $scope . ')';
         $code .= ";\n";
         return $code;
     }

tests/compiler/object_ctor/promotion-inherited-private-scope.phpt

@@ -0,0 +1,29 @@
+--TEST--
+Constructor promotion writes inherited private promoted properties into the declared slot
+--FILE--
+<?php
+class ParentCls
+{
+    public function __construct(private string $name = "default") {}
+}
+
+class ChildCls extends ParentCls {}
+
+function main(): void
+{
+    $child = new ChildCls("hello");
+    var_dump($child);
+
+    $direct = new ParentCls("direct");
+    var_dump($direct);
+}
+?>
+--EXPECT--
+object(ChildCls)#1 (1) {
+  ["name":"ParentCls":private]=>
+  string(5) "hello"
+}
+object(ParentCls)#2 (1) {
+  ["name":"ParentCls":private]=>
+  string(6) "direct"
+}