Maintain possibly undefined vars when analyzing if context.

vimeo · Feb 20, 2022 · 9a3b46b · 9a3b46b
1 parent 21de80a
commit 9a3b46b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Block/IfElseAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Block/IfElseAnalyzer.php
@@ -393,6 +393,8 @@ function (Clause $c) use ($mixed_var_ids, $cond_object_id): Clause {
 
         if ($if_scope->redefined_vars) {
             foreach ($if_scope->redefined_vars as $var_id => $type) {
+                $type->possibly_undefined = $type->possibly_undefined
+                    || ($context->vars_in_scope[$var_id]->possibly_undefined ?? true);
                 $context->vars_in_scope[$var_id] = $type;
                 $if_scope->updated_vars[$var_id] = true;