Infer mixed~array | array

Author: VincentLanglet

src/Type/TypeCombinator.php

@@ -580,7 +580,7 @@ private static function intersectWithSubtractedType(
 		Type $b,
 	): Type
 	{
-		if ($a->getSubtractedType() === null) {
+		if ($a->getSubtractedType() === null || $b instanceof NeverType) {
 			return $a;
 		}
 
@@ -621,7 +621,10 @@ private static function intersectWithSubtractedType(
 			} elseif ($isBAlreadySubtracted->yes()) {
 				$subtractedType = self::remove($a->getSubtractedType(), $b);
 
-				if ($subtractedType instanceof NeverType) {
+				if (
+					$subtractedType instanceof NeverType
+					|| !$subtractedType->isSuperTypeOf($b)->no()
+				) {
 					$subtractedType = null;
 				}
 

tests/PHPStan/Rules/Comparison/ImpossibleCheckTypeFunctionCallRuleTest.php

@@ -1100,6 +1100,12 @@ public function testBug10394(): void
 		$this->analyse([__DIR__ . '/data/bug-10394.php'], []);
 	}
 
+	public function testBug13628(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-13628.php'], []);
+	}
+
 	public function testBug9666(): void
 	{
 		$tipText = 'Because the type is coming from a PHPDoc, you can turn off this check by setting <fg=cyan>treatPhpDocTypesAsCertain: false</> in your <fg=cyan>%configurationFile%</>.';

tests/PHPStan/Rules/Comparison/data/bug-13628.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types = 1);
+
+namespace Bug13628;
+
+function test(mixed $param): string {
+
+	$a = is_array($param) ? array_filter($param) : $param;
+	if ($a && is_array($a)) {
+		return 'array';
+	}
+	else {
+		return 'not-array';
+	}
+
+}

tests/PHPStan/Type/TypeCombinatorTest.php

@@ -2133,6 +2133,14 @@ public static function dataUnion(): iterable
 				MixedType::class,
 				'mixed=implicit',
 			],
+			[
+				[
+					new ArrayType(new MixedType(), new StringType()),
+					new MixedType(false, new ArrayType(new MixedType(), new MixedType())),
+				],
+				MixedType::class,
+				'mixed=implicit',
+			],
 		];
 
 		if (PHP_VERSION_ID < 80100) {