fix

Author: staabm

src/Type/Constant/ConstantArrayType.php

@@ -366,15 +366,6 @@ public function isSuperTypeOf(Type $type): TrinaryLogic
 				return $type->isIterableAtLeastOnce()->negate();
 			}
 
-			if (
-				$this->isList->yes()
-				&& $type->isList->yes()
-				&& count($this->keyTypes) !== count($type->keyTypes)
-				&& count($type->optionalKeys) === 0
-			) {
-				return TrinaryLogic::createNo();
-			}
-
 			$results = [];
 			foreach ($this->keyTypes as $i => $keyType) {
 				$hasOffset = $type->hasOffsetValueType($keyType);
@@ -396,6 +387,25 @@ public function isSuperTypeOf(Type $type): TrinaryLogic
 				$results[] = $isValueSuperType;
 			}
 
+			if (
+				$this->isList->yes()
+				&& $type->isList->yes()
+				&& count($this->keyTypes) !== count($type->keyTypes)
+				&& count($type->optionalKeys) === 0
+			) {
+				$keepSeparate = true;
+				foreach ($this->valueTypes as $valueType) {
+					if ($valueType->isConstantValue()->yes()) {
+						$keepSeparate = false;
+						break;
+					}
+				}
+
+				if ($keepSeparate) {
+					return TrinaryLogic::createNo();
+				}
+			}
+
 			return TrinaryLogic::createYes()->and(...$results);
 		}