泛型結構也可以要求它們的參數型別被特徵所限制。
struct MyStruct<T> where T: MyTrait { foo: T ... }
泛型結構的參數型別有自己的實作區塊:
impl<T> MyStruct<T> { ... }