Fix phpstan/phpstan#14301: Unioned array shapes are no longer disjunctive

src/Analyser/TypeSpecifier.php

@@ -1403,6 +1403,45 @@ private function specifyTypesForCountFuncCall(
 			$resultTypes[] = TypeCombinator::intersect($arrayType, new NonEmptyArrayType());
 		}
 
+		if ($context->truthy() && $isConstantArray->yes() && $isList->yes()) {
+			$hasOptionalKeys = false;
+			foreach ($type->getConstantArrays() as $arrayType) {
+				if ($arrayType->getOptionalKeys() !== []) {
+					$hasOptionalKeys = true;
+					break;
+				}
+			}
+
+			if (!$hasOptionalKeys) {
+				$argExpr = $countFuncCall->getArgs()[0]->value;
+				$argExprString = $this->exprPrinter->printExpr($argExpr);
+
+				$sizeMin = null;
+				$sizeMax = null;
+				if ($sizeType instanceof ConstantIntegerType) {
+					$sizeMin = $sizeType->getValue();
+					$sizeMax = $sizeType->getValue();
+				} elseif ($sizeType instanceof IntegerRangeType) {
+					$sizeMin = $sizeType->getMin();
+					$sizeMax = $sizeType->getMax();
+				}
+
+				$sureTypes = [];
+				$sureNotTypes = [];
+
+				if ($sizeMin !== null && $sizeMin >= 1) {
+					$sureTypes[$argExprString] = [$argExpr, new HasOffsetValueType(new ConstantIntegerType($sizeMin - 1), new MixedType())];
+				}
+				if ($sizeMax !== null) {
+					$sureNotTypes[$argExprString] = [$argExpr, new HasOffsetValueType(new ConstantIntegerType($sizeMax), new MixedType())];
+				}
+
+				if ($sureTypes !== [] || $sureNotTypes !== []) {
+					return (new SpecifiedTypes($sureTypes, $sureNotTypes))->setRootExpr($rootExpr);
+				}
+			}
+		}
+
 		return $this->create($countFuncCall->getArgs()[0]->value, TypeCombinator::union(...$resultTypes), $context, $scope)->setRootExpr($rootExpr);
 	}
 

tests/PHPStan/Analyser/nsrt/bug-14301.php

@@ -0,0 +1,50 @@
+<?php declare(strict_types = 1);
+
+namespace Bug14301;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+	/**
+	 * @param array{bool}|array{mixed, string|null, mixed} $row
+	 */
+	protected function testNotEquals(array $row): string
+	{
+		if (count($row) !== 1) {
+			assertType('array{mixed, string|null, mixed}', $row);
+
+			[$field, $operator, $value] = $row;
+			assertType('string|null', $operator);
+			return $operator ?? '=';
+		} else {
+			assertType('array{bool}', $row);
+		}
+
+		return '';
+	}
+
+	/**
+	 * @param array{bool}|array{mixed, string|null, mixed} $row
+	 */
+	protected function testEquals(array $row): void
+	{
+		if (count($row) === 3) {
+			assertType('array{mixed, string|null, mixed}', $row);
+		} else {
+			assertType('array{bool}', $row);
+		}
+	}
+
+	/**
+	 * @param array{bool}|array{mixed, string|null, mixed} $row
+	 */
+	protected function testEquals1(array $row): void
+	{
+		if (count($row) === 1) {
+			assertType('array{bool}', $row);
+		} else {
+			assertType('array{mixed, string|null, mixed}', $row);
+		}
+	}
+}