泛型结构体也可以通过 Trait 来约束其参数化类型:
struct MyStruct<T> where T: MyTrait { foo: T ... }
泛型结构体在它的实现块中有其参数化的类型:
impl<T> MyStruct<T> { ... }