Variadic generics - pre-RFC

language design
14

We don’t have generic associated types yet, and if and when we do get them we will have where bounds on associated types. Therefore, bounds on tuple types could be defined earlier in the impl using where bounds.

impl<*T> Trait for Foo<T>
where T: Clone {
   type Assoc = T;
}