More

Author: VincentLanglet

src/Type/TypeCombinator.php

@@ -68,7 +68,7 @@ public static function remove(Type $fromType, Type $typeToRemove): Type
 		}
 
 		$isSuperType = $typeToRemove->isSuperTypeOf($fromType);
-		if ($isSuperType->yes()) {
+		if ($isSuperType->yes() && !$fromType->isOversizedArray()->yes()) {
 			return new NeverType();
 		}
 		if ($isSuperType->no()) {

tests/PHPStan/Type/TypeCombinatorTest.php

@@ -5331,6 +5331,18 @@ public static function dataRemove(): array
 				ObjectShapeType::class,
 				'object{foo?: int}',
 			],
+			[
+				new IntersectionType([new ArrayType(new StringType(), new StringType()), new OversizedArrayType()]),
+				new ConstantArrayType([], []),
+				IntersectionType::class,
+				'non-empty-array<string, string>&oversized-array',
+			],
+			[
+				new IntersectionType([new ArrayType(new StringType(), new StringType()), new OversizedArrayType()]),
+				new ConstantArrayType([new ConstantStringType('A')], [new ConstantStringType('A')]),
+				IntersectionType::class,
+				'array<string, string>&oversized-array',
+			],
 		];
 	}