Fix

Author: VincentLanglet

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

@@ -9,5 +9,5 @@
  */
 function splice(array $a): void {
 	array_splice($a, 0, 0);
-	assertType("array<'a'|int<0, max, mixed>", $a);
+	assertType("array<'a'|int<0, max>, mixed>", $a);
 }

tests/PHPStan/Type/ArrayTypeTest.php

@@ -362,7 +362,7 @@ public static function dataSpliceArray(): array
 				new ConstantIntegerType(0),
 				new ConstantIntegerType(0),
 				new ArrayType(new MixedType(), new MixedType()),
-				'array<int<0, max>|string, mixed>',
+				'array<(int<0, max>|string), mixed>',
 			],
 		];
 	}