bugfix: preserve non-empty-string type when combining literal-string …

…with numeric-string types Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
vimeo · Apr 10, 2023 · e77a3ef · e77a3ef
1 parent 10e7299
commit e77a3ef
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/src/Psalm/Internal/Type/TypeCombiner.php b/src/Psalm/Internal/Type/TypeCombiner.php
@@ -1052,15 +1052,22 @@ private static function scrapeStringProperties(
                 if ($combination->strings) {
                     if ($type instanceof TNumericString) {
                         $has_non_numeric_string = false;
+                        $has_only_non_empty_strings = true;
 
                         foreach ($combination->strings as $string_type) {
                             if (!is_numeric($string_type->value)) {
                                 $has_non_numeric_string = true;
-                                break;
+                            }
+
+                            if (!$string_type instanceof TNonEmptyString
+                            && !($string_type instanceof TLiteralString && $string_type->value !== '')) {
+                                $has_only_non_empty_strings = false;
                             }
                         }
 
-                        if ($has_non_numeric_string) {
+                        if ($has_only_non_empty_strings) {
+                            $combination->value_types['string'] = new TNonEmptyString();
+                        } elseif ($has_non_numeric_string) {
                             $combination->value_types['string'] = new TString();
                         } else {
                             $combination->value_types['string'] = $type;