[ASDAlexander77]

function f(...a: int) {}; f(1, 2); reached the MLIR verifier: 'ts.CreateArray' op result #0 must be ..., but got 'si32' at the call, then module verification error at 1:1.

Fix: a declared rest parameter of a number, string, boolean, bigint or char type is an error at the parameter: A rest parameter must be of an array type, not 's32'. Arrays, tuples, any and generic rest parameters (...args: TS) are left as they were. Function types ((...args: any) => any) go through another path and are not changed.

Repro (diagnostic-location/rest_parameter_type.ts):

function sum(...a: int[]) {}

function f(...a: int) {}   // 6:12: error: A rest parameter must be of an array type, not 's32'

function main() {
    sum(1, 2);
    f(1, 2);
}

The test fails on any "verification" text or a 1:1 location.

ctest -C Release -j 8 --timeout 300: 100% passed, 0 failed (4092 tests on this branch).

🤖 Generated with Claude Code