//// [decls.d.ts]
//// [a.js]
/**
 * @param {string} first
 */ function concat() {
    var s = '';
    for(var i = 0, l = arguments.length; i < l; i++){
        s += arguments[i];
    }
    return s;
}
/**
 * @param {...string} strings
 */ function correct() {
    arguments;
}
correct(1, 2, 3); // oh no
