Variadic generics design sketch

[Jules-Bertholet]

@VitWW

but d is wrong.

// wrong
let d: (bool, bool) = (...Foo(true, false),); 

// right
let Foo (...d) = Foo(true, false); 

Your second example, Foo(...d), is correct, I agree. But why do you think (...Foo(true, false),) should be rejected?

@VitWW

Same for arrays:

My intention with the current design was that ...ident patterns should have the same meaning as ident @ ... Why do you want that to change?

@VitWW

    // wrong
    tup
    // right
    (...tup)

tup is already a tuple, there is no need to splat it. (I've updated the doc to specify this explicitly.)