shepherd

vimeo · Mar 13, 2024 · eb969cd · eb969cd
1 parent 248defb
commit eb969cd
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/Psalm/Internal/Analyzer/ClassAnalyzer.php b/src/Psalm/Internal/Analyzer/ClassAnalyzer.php
@@ -872,9 +872,10 @@ public static function addContextProperties(
                 if (!$property_type->isMixed()
                     && (!$property_storage->is_promoted
                         || (strtolower($fq_class_name) !== strtolower($property_class_name)
-                        && strtolower(
-                            $storage->declaring_method_ids['__construct']->fq_class_name,
-                        ) === strtolower($fq_class_name)))
+                            && isset($storage->declaring_method_ids['__construct'])
+                            && strtolower(
+                                $storage->declaring_method_ids['__construct']->fq_class_name,
+                            ) === strtolower($fq_class_name)))
                     && !$property_storage->has_default
                     && !($property_type->isNullable() && $property_type->from_docblock)
                 ) {
@@ -888,6 +889,7 @@ public static function addContextProperties(
                 if (!$property_storage->has_default
                     && (!$property_storage->is_promoted
                         || (strtolower($fq_class_name) !== strtolower($property_class_name)
+                            && isset($storage->declaring_method_ids['__construct'])
                             && strtolower(
                                 $storage->declaring_method_ids['__construct']->fq_class_name,
                             ) === strtolower($fq_class_name)))) {
@@ -1108,6 +1110,7 @@ private function checkPropertyInitialization(
 
             if ($property->is_promoted
                 && strtolower($property_class_name) !== $fq_class_name_lc
+                && isset($storage->declaring_method_ids['__construct'])
                 && strtolower($storage->declaring_method_ids['__construct']->fq_class_name) === $fq_class_name_lc) {
                 $property_is_initialized = false;
             }