Return null from ArgumentsNormalizer::reorderArgs() when positional args after named args create holes beyond parameter count

- In `reorderArgs()`, positional arguments keep their original index from
  `$callArgs`. When a named argument appears between positional arguments
  (which is invalid PHP), the named arg is removed from the positional
  sequence, creating a hole in the `$reorderedArgs` array at an index
  beyond the parameter signature length.
- The hole-filling loop at line 401 threw `ShouldNotHappenException` when
  encountering a hole index not present in `$signatureParameters`.
- Replace the throw with `return null`, which tells all callers (func calls,
  method calls, static calls, `new`, `ParametersAcceptorSelector`) that
  argument reordering failed, and they fall back gracefully.
- The fix applies to all callable types (functions, methods, static methods,
  constructors) since they all share `reorderArgs()`.
- Added two test cases to `ArgumentsNormalizerTest::dataReorderInvalid`:
  one with a variadic parameter and one without.

Author: phpstan-bot

src/Analyser/ArgumentsNormalizer.php

@@ -403,7 +403,7 @@ public static function reorderArgs(ParametersAcceptor $parametersAcceptor, array
 				continue;
 			}
 			if (!array_key_exists($j, $signatureParameters)) {
-				throw new ShouldNotHappenException('Parameter signatures cannot have holes');
+				return null;
 			}
 
 			$parameter = $signatureParameters[$j];

tests/PHPStan/Analyser/ArgumentsNormalizerTest.php

@@ -323,6 +323,33 @@ public static function dataReorderInvalid(): iterable
 				[new StringType(), 'three'],
 			],
 		];
+
+		// positional arg after named arg with variadic parameter
+		yield [
+			[
+				['value', false, false, null],
+				['values', true, true, new StringType()],
+			],
+			[
+				[new IntegerType(), null],
+				[new IntegerType(), null],
+				[new IntegerType(), null],
+				[new StringType(), 'd'],
+				[new IntegerType(), null],
+			],
+		];
+
+		// positional arg after named arg without variadic parameter
+		yield [
+			[
+				['one', false, false, null],
+			],
+			[
+				[new IntegerType(), null],
+				[new StringType(), 'd'],
+				[new IntegerType(), null],
+			],
+		];
 	}
 
 	/**