Fix things

vimeo · Aug 7, 2020 · b6d9ee5 · b6d9ee5
1 parent e61765f
commit b6d9ee5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Psalm/Internal/Analyzer/Statements/Block/SwitchCaseAnalyzer.php b/src/Psalm/Internal/Analyzer/Statements/Block/SwitchCaseAnalyzer.php
@@ -375,7 +375,7 @@ public static function analyze(
             }
         }
 
-        if ($case_clauses) {
+        if ($case_clauses && $case_equality_expr) {
             try {
                 $negated_case_clauses = Algebra::negateFormula($case_clauses);
             } catch (\Psalm\Exception\ComplicatedExpressionException $e) {