generalize array logic

Author: staabm

phpstan-baseline.neon

@@ -1428,11 +1428,6 @@ parameters:
 			count: 2
 			path: src/Type/Php/MinMaxFunctionReturnTypeExtension.php
 
-		-
-			message: "#^Doing instanceof PHPStan\\\\Type\\\\ConstantType is error\\-prone and deprecated\\. Use Type\\:\\:isConstantValue\\(\\) or Type\\:\\:generalize\\(\\) instead\\.$#"
-			count: 1
-			path: src/Type/Php/MinMaxFunctionReturnTypeExtension.php
-
 		-
 			message: "#^Doing instanceof PHPStan\\\\Type\\\\Constant\\\\ConstantArrayType is error\\-prone and deprecated\\. Use Type\\:\\:getConstantArrays\\(\\) instead\\.$#"
 			count: 2

src/Type/Php/MinMaxFunctionReturnTypeExtension.php

@@ -11,7 +11,6 @@
 use PHPStan\Type\Constant\ConstantArrayType;
 use PHPStan\Type\Constant\ConstantBooleanType;
 use PHPStan\Type\ConstantScalarType;
-use PHPStan\Type\ConstantType;
 use PHPStan\Type\DynamicFunctionReturnTypeExtension;
 use PHPStan\Type\ErrorType;
 use PHPStan\Type\Type;
@@ -152,16 +151,16 @@ private function processType(
 	{
 		$resultType = null;
 		foreach ($types as $type) {
-			if (!$type instanceof ConstantType) {
-				return TypeCombinator::union(...$types);
-			}
-
 			if ($resultType === null) {
 				$resultType = $type;
 				continue;
 			}
 
 			$compareResult = $this->compareTypes($resultType, $type);
+			if ($compareResult === null) {
+				return TypeCombinator::union(...$types);
+			}
+
 			if ($functionName === 'min') {
 				if ($compareResult === $type) {
 					$resultType = $type;
@@ -186,15 +185,15 @@ private function compareTypes(
 	): ?Type
 	{
 		if (
-			$firstType->isConstantArray()->yes()
+			$firstType->isArray()->yes()
 			&& $secondType->isConstantScalarValue()->yes()
 		) {
 			return $secondType;
 		}
 
 		if (
 			$firstType->isConstantScalarValue()->yes()
-			&& $secondType->isConstantArray()->yes()
+			&& $secondType->isArray()->yes()
 		) {
 			return $firstType;
 		}

tests/PHPStan/Analyser/LegacyNodeScopeResolverTest.php

@@ -2367,10 +2367,34 @@ public function dataBinaryOperations(): array
 				'array{1, 1, 1, 1}',
 				'max(array(2, 2, 2), 5, array(1, 1, 1, 1))',
 			],
+			[
+				'array{int, int, int}',
+				'max($arrayOfIntegers, 5)',
+			],
+			[
+				'array<int>',
+				'max($arrayOfUnknownIntegers, 5)',
+			],
 			[
 				'array<int>|int', // could be array<int>
 				'max($arrayOfUnknownIntegers, $integer, $arrayOfUnknownIntegers)',
 			],
+			[
+				'array<int>',
+				'max($arrayOfUnknownIntegers, $conditionalInt)',
+			],
+			[
+				'5',
+				'min($arrayOfIntegers, 5)',
+			],
+			[
+				'5',
+				'min($arrayOfUnknownIntegers, 5)',
+			],
+			[
+				'1|2',
+				'min($arrayOfUnknownIntegers, $conditionalInt)',
+			],
 			[
 				'5',
 				'min(array(2, 2, 2), 5, array(1, 1, 1, 1))',