Simplify some more

Author: herndlm

src/Type/Php/ArrayMergeFunctionDynamicReturnTypeExtension.php

@@ -40,40 +40,37 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 
 		$argTypes = [];
 		$optionalArgTypes = [];
-		$allConstant = TrinaryLogic::createYes();
 		foreach ($args as $arg) {
 			$argType = $scope->getType($arg->value);
 
 			if ($arg->unpack) {
 				if ($argType->isConstantArray()->yes()) {
-					$argTypesFound = [];
 					foreach ($argType->getConstantArrays() as $constantArray) {
 						foreach ($constantArray->getValueTypes() as $valueType) {
-							$argTypesFound[] = $valueType;
+							$argTypes[] = $valueType;
 						}
 					}
 				} else {
-					$argTypesFound = [$argType->getIterableValueType()];
-				}
-
-				foreach ($argTypesFound as $argTypeFound) {
-					$argTypes[] = $argTypeFound;
-					$allConstant = $allConstant->and($argTypeFound->isConstantArray());
+					$argTypes[] = $argType->getIterableValueType();
 				}
 
 				if (!$argType->isIterableAtLeastOnce()->yes()) {
 					// unpacked params can be empty, making them optional
 					$optionalArgTypesOffset = count($argTypes) - 1;
-					foreach (array_keys($argTypesFound) as $key) {
+					foreach (array_keys($argTypes) as $key) {
 						$optionalArgTypes[] = $optionalArgTypesOffset + $key;
 					}
 				}
 			} else {
 				$argTypes[] = $argType;
-				$allConstant = $allConstant->and($argType->isConstantArray());
 			}
 		}
 
+		$allConstant = TrinaryLogic::createYes()->lazyAnd(
+			$argTypes,
+			static fn (Type $argType) => $argType->isConstantArray(),
+		);
+
 		if ($allConstant->yes()) {
 			$newArrayBuilder = ConstantArrayTypeBuilder::createEmpty();
 			foreach ($argTypes as $argType) {

tests/PHPStan/Analyser/nsrt/array-merge2.php

@@ -23,6 +23,8 @@ public function arrayMergeArrayShapes($array1, $array2): void
 		assertType("array{foo: 3, bar: '2', lall2: '3', 0: '4', 1: '6', lall: '3', 2: '2', 3: '3'}", array_merge($array2, $array1, ...[['foo' => 3]]));
 		assertType("array{foo: '1', bar: '2'|'4', lall?: '3', 0: '2'|'4', 1: '3'|'6', lall2?: '3'}", array_merge(rand(0, 1) ? $array1 : $array2, []));
 		assertType("array{foo?: 3, bar?: 3}", array_merge([], ...[rand(0, 1) ? ['foo' => 3] : ['bar' => 3]]));
+		assertType("array{foo: '1', bar: '2'|'4', lall?: '3', 0: '2'|'4', 1: '3'|'6', lall2?: '3'}", array_merge([], ...[rand(0, 1) ? $array1 : $array2]));
+		assertType("array{foo: 1, bar: 2, 0: 2, 1: 3}", array_merge(['foo' => 4, 'bar' => 5], ...[['foo' => 1, 'bar' => 2], [2, 3]]));
 	}
 
 	/**