Fix #4206 - add shortcut for if ((bool) $foo)

vimeo · Sep 19, 2020 · 62d4381 · 62d4381
1 parent 0ae436d
commit 62d4381
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/src/Psalm/Type/Algebra.php b/src/Psalm/Type/Algebra.php
@@ -345,6 +345,19 @@ public static function getFormula(
             }
         }
 
+        if ($conditional instanceof PhpParser\Node\Expr\Cast\Bool_) {
+            return self::getFormula(
+                $conditional_object_id,
+                \spl_object_id($conditional->expr),
+                $conditional->expr,
+                $this_class_name,
+                $source,
+                $codebase,
+                $inside_negation,
+                $cache
+            );
+        }
+
         $assertions = null;
 
         if ($cache && $source instanceof \Psalm\Internal\Analyzer\StatementsAnalyzer) {