Promoted properties are always initialized

src/Psalm/Internal/PhpVisitor/ReflectorVisitor.php

@@ -2413,6 +2413,7 @@ class ReflectorVisitor extends PhpParser\NodeVisitorAbstract implements PhpParse
 
                 $class_storage->declaring_property_ids[$param_storage->name] = $fq_classlike_name;
                 $class_storage->appearing_property_ids[$param_storage->name] = $property_id;
+                $class_storage->initialized_properties[$param_storage->name] = true;
             }
         }
 

tests/PropertyTypeTest.php

@@ -2074,7 +2074,7 @@ class PropertyTypeTest extends TestCase
                         }
                     }'
             ],
-            'promotedPublicProperty' => [
+            'promotedPublicPropertyWithDefault' => [
                 '<?php
                     class A {
                         public function __construct(public int $foo = 5) {}
@@ -2082,10 +2082,18 @@ class PropertyTypeTest extends TestCase
 
                     echo (new A)->foo;'
             ],
+            'promotedPublicPropertyWitoutDefault' => [
+                '<?php
+                    class A {
+                        public function __construct(public int $foo) {}
+                    }
+
+                    echo (new A(5))->foo;'
+            ],
             'promotedProtectedProperty' => [
                 '<?php
                     class A {
-                        public function __construct(protected int $foo = 5) {}
+                        public function __construct(protected int $foo) {}
                     }
 
                     class AChild extends A {
@@ -2094,14 +2102,6 @@ class PropertyTypeTest extends TestCase
                         }
                     }'
             ],
-            'setPublicProperty' => [
-                '<?php
-                    class A {
-                        public function __construct(public int $foo) {
-                            $this->foo = 5;
-                        }
-                    }'
-            ],
         ];
     }
 
@@ -3251,13 +3251,6 @@ class PropertyTypeTest extends TestCase
                     echo (new A)->foo;',
                 'error_message' => 'InaccessibleProperty',
             ],
-            'promotedPublicPropertyWithoutSet' => [
-                '<?php
-                    class A {
-                        public function __construct(public int $foo) {}
-                    }',
-                'error_message' => 'PropertyNotSetInConstructor'
-            ],
         ];
     }
 }