Fix native type of variadic parameter

Author: ondrejmirtes

src/Analyser/MutatingScope.php

@@ -3036,7 +3036,16 @@ private function enterFunctionLike(
 				}
 			}
 			$variableTypes[$parameter->getName()] = VariableTypeHolder::createYes($parameterType);
-			$nativeExpressionTypes[sprintf('$%s', $parameter->getName())] = $parameter->getNativeType();
+
+			$nativeParameterType = $parameter->getNativeType();
+			if ($parameter->isVariadic()) {
+				if ($this->phpVersion->supportsNamedArguments()) {
+					$nativeParameterType = new ArrayType(new UnionType([new IntegerType(), new StringType()]), $nativeParameterType);
+				} else {
+					$nativeParameterType = new ArrayType(new IntegerType(), $nativeParameterType);
+				}
+			}
+			$nativeExpressionTypes[sprintf('$%s', $parameter->getName())] = $nativeParameterType;
 		}
 
 		if ($preserveThis && array_key_exists('this', $this->variableTypes)) {

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -609,6 +609,13 @@ public function dataFileAsserts(): iterable
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/weird-array_key_exists-issue.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/equal.php');
+
+		if (PHP_VERSION_ID >= 80000) {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5698-php8.php');
+		} else {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5698-php7.php');
+		}
+
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-6404.php');
 	}
 

tests/PHPStan/Analyser/data/bug-5698-php7.php

@@ -0,0 +1,16 @@
+<?php
+
+namespace Bug5698;
+
+use function PHPStan\Testing\assertNativeType;
+use function PHPStan\Testing\assertType;
+
+class FooPHP7
+{
+
+	function foo(int ...$foo): void {
+		assertType('array<int, int>', $foo);
+		assertNativeType('array<int, int>', $foo);
+	}
+
+}

tests/PHPStan/Analyser/data/bug-5698-php8.php

@@ -0,0 +1,16 @@
+<?php
+
+namespace Bug5698;
+
+use function PHPStan\Testing\assertNativeType;
+use function PHPStan\Testing\assertType;
+
+class FooPHP8
+{
+
+	function foo(int ...$foo): void {
+		assertType('array<int|string, int>', $foo);
+		assertNativeType('array<int|string, int>', $foo);
+	}
+
+}