From aaf34d75734d4a238a00eab92f5f7c53aadad781 Mon Sep 17 00:00:00 2001
From: orklah <ronan_morin@hotmail.com>
Date: Sun, 13 Feb 2022 19:05:51 +0100
Subject: [PATCH] add test

---
 tests/EnumTest.php | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/tests/EnumTest.php b/tests/EnumTest.php
index 3297151ee2d..963614bd198 100644
--- a/tests/EnumTest.php
+++ b/tests/EnumTest.php
@@ -405,6 +405,35 @@ function foo(): int|Code|null
                 'ignored_issues' => [],
                 'php_version' => '8.1',
             ],
+            'EnumCaseReconciliation' => [
+                'code' => '<?php
+                    enum Code: int
+                    {
+                        case Ok = 0;
+                        case Fatal = 1;
+                    }
+
+                    function foo(): Code|null
+                    {
+                        return null;
+                    }
+
+                    $code = foo();
+                    $code1 = null;
+                    $code2 = null;
+                    if($code instanceof Code){
+                        $code1 = $code;
+                    }
+                    if(!$code instanceof Code){
+                        $code2 = $code;
+                    }',
+                'assertions' => [
+                    '$code1' => 'Code|null',
+                    '$code2' => 'null',
+                ],
+                'ignored_issues' => [],
+                'php_version' => '8.1',
+            ],
         ];
     }