Binding patterns in parameter lists of function types

[nickie]

I believe that the following two variable declarations are consistent with the specifications (3.9.2.2). They define two functions of a single parameter, which is a list of three things. Notice that a binding pattern is used for destructuring this list.

var y: ([a, b, c]) => any;
var z: ([a, b, c] : number[]) => any;

Both declarations are disallowed by the implementation. The error messages suggest that [a, b, c] is immediately assumed to be a (parenthesized) tuple type, as would be the case in:

interface a {};
interface b {};
interface c {};

var x: ([a, b, c]);

[sandersn]

Looks to me like it's failing at the parser level.
I get very wrong error messages when I add a type too.

let x: ([a,b,c]: [any,any,any]) => any;

[ahejlsberg]

Yup, that doesn't look right. I will get it fixed.

[ahejlsberg]

@nickie Thanks for reporting. Fix now in master.