ジェネリクス構造体は、そのパラメータ化された型がtraitによって制約されることもあります。
struct MyStruct<T> where T: MyTrait { foo: T ... }
ジェネリクス構造体は、その実装ブロックにパラメータ化された型を持っています。
impl<T> MyStruct<T> { ... }