Fix #3779 - allow ParadoxicalCondition of default to be suppressed

src/Psalm/Internal/Analyzer/Statements/Block/SwitchCaseAnalyzer.php

@@ -499,7 +499,8 @@ class SwitchCaseAnalyzer
                 new ParadoxicalCondition(
                     'All possible case statements have been met, default is impossible here',
                     new CodeLocation($statements_analyzer->getSource(), $case)
-                )
+                ),
+                $statements_analyzer->getSuppressedIssues()
             )) {
                 return false;
             }

tests/SwitchTypeTest.php

@@ -923,6 +923,20 @@ class SwitchTypeTest extends TestCase
                         return 4;
                     }'
             ],
+            'suppressParadox' => [
+                '<?php
+                    /** @psalm-var 1|2|3 $i */
+                    $i = rand(1, 3);
+
+                    /** @psalm-suppress ParadoxicalCondition */
+                    switch($i) {
+                        case 1: break;
+                        case 2: break;
+                        case 3: break;
+                        default:
+                            echo "bar";
+                    }'
+            ],
         ];
     }