Fix #4516 - treat exit() as the empty type

src/Psalm/Internal/Analyzer/Statements/Expression/ExitAnalyzer.php

@@ -78,6 +78,8 @@ class ExitAnalyzer
             $context->inside_call = false;
         }
 
+        $statements_analyzer->node_data->setType($stmt, \Psalm\Type::getEmpty());
+
         return true;
     }
 }

tests/MatchTest.php

@@ -188,6 +188,23 @@ class MatchTest extends TestCase
                 false,
                 '8.0',
             ],
+            'exitIsLikeThrow' => [
+                '<?php
+                    /**
+                     * @param 1|2|3 $i
+                     */
+                    function foo(int $i): void {
+                        $a = match ($i) {
+                            1 => exit(),
+                            2, 3 => $i,
+                        };
+                        $a === "aaa";
+                    }',
+                'error_message' => 'DocblockTypeContradiction',
+                [],
+                false,
+                '8.0',
+            ],
         ];
     }
 }