Add test

Author: VincentLanglet

tests/Template/ConditionalReturnTypeTest.php

@@ -1039,6 +1039,32 @@ function getSomething(string $string)
                 ],
                 'ignored_issues' => [],
             ],
+            'lowercaseStringIsNotNonEmptyWithUnion' => [
+                'code' => '<?php
+                    /**
+                     * @param string|int $stringOrInt
+                     * @psalm-return ($string is non-empty-string|int ? string : int)
+                     */
+                    function getSomething($stringOrInt)
+                    {
+                        if (!$stringOrInt) {
+                            return 1;
+                        }
+                        return "";
+                    }
+                    /** @var string $string */
+                    $string;
+                    $something = getSomething($string);
+                    /** @var non-empty-string $nonEmptyString */
+                    $nonEmptyString;
+                    $something2 = getSomething($nonEmptyString);
+                ',
+                'assertions' => [
+                    '$something' => 'int|string',
+                    '$something2' => 'string',
+                ],
+                'ignored_issues' => [],
+            ],
         ];
     }
 }