Mixed contain every types and Never is contained in every type

vimeo · Nov 5, 2021 · de9ad68 · de9ad68
1 parent b783468
commit de9ad68
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/Psalm/Internal/Type/Comparator/UnionTypeComparator.php b/src/Psalm/Internal/Type/Comparator/UnionTypeComparator.php
@@ -34,6 +34,14 @@ public static function isContainedBy(
         bool $allow_interface_equality = false,
         bool $allow_float_int_equality = true
     ) : bool {
+        if ($container_type->isMixed()) {
+            return true;
+        }
+
+        if ($input_type->isNever()) {
+            return true;
+        }
+
         if ($union_comparison_result) {
             $union_comparison_result->scalar_type_match_found = true;
         }
@@ -317,6 +325,10 @@ public static function isContainedByInPhp(
             return false;
         }
 
+        if ($input_type->isNever()) {
+            return true;
+        }
+
         if ($input_type->getId() === $container_type->getId()) {
             return true;
         }
@@ -357,6 +369,10 @@ public static function canBeContainedBy(
             return true;
         }
 
+        if ($input_type->isNever()) {
+            return true;
+        }
+
         if ($input_type->possibly_undefined && !$container_type->possibly_undefined) {
             return false;
         }