[Pitch] Parameter Packs

[trotnic (Uladzislau Volchyk)]

@hborla

struct PackExample<T, U..., V> {} // PackExample needs at least 2 generic arguments
...
Pack<Int, String> // T := Int; U := {}; V := String

The point that U := {} and V := String is a bit strange as this is not the way we introduce default parameters in Swift. Typing Pack<Int, String> I expect an error here.