[Pitch] Parameter Packs

[filip-sakel]

@Slava_Pestov

protocol P {
  associatedtype A
  associatedtype B
}

struct G<T...> where T: P {}

How would this work? Wouldn’t T need to be named either A or B to fulfill the respective requirement?

@Slava_Pestov

This would be extremely hard to implement correctly--it's basically a full-blown theorem prover.

I see; still, I think a (T…).count- or (a…).count-like syntax would be more natural.