PropertyNotSetInConstructor should not report for abstract constructors

since they do not have any code Fix #9830
vimeo · May 30, 2023 · 4a24bf2 · 4a24bf2
1 parent bebce06
commit 4a24bf2
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Analyzer/ClassAnalyzer.php b/src/Psalm/Internal/Analyzer/ClassAnalyzer.php
@@ -999,6 +999,11 @@ private function checkPropertyInitialization(
             return;
         }
 
+        // abstract constructors do not have any code, therefore cannot set any properties either
+        if ($storage->methods['__construct']->abstract) {
+            return;
+        }
+
         $fq_class_name = $class_context->self ?: $this->fq_class_name;
         $fq_class_name_lc = strtolower($fq_class_name);
 

diff --git a/tests/PropertyTypeTest.php b/tests/PropertyTypeTest.php
@@ -1750,6 +1750,17 @@ public function setFoo() : void {
                 'assertions' => [],
                 'ignored_issues' => ['PropertyNotSetInConstructor'],
             ],
+            'unitializedPropertySuppressPropertyNotSetInAbstractConstructor' => [
+                'code' => '<?php
+                    abstract class A {
+                          /** @readonly */
+                          public string $s;
+
+                          abstract public function __construct(string $s);
+                    }',
+                'assertions' => [],
+                'ignored_issues' => ['PropertyNotSetInConstructor'],
+            ],
             'setTKeyedArrayPropertyType' => [
                 'code' => '<?php
                     class Foo {