1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
trait MatrixShape {} struct Col<D, C> { data: D, col: C, } trait Collection { fn len(&self) -> usize; } impl<T, M: MatrixShape> Collection for Col<M, usize> { //~^ ERROR type parameter `T` is not constrained fn len(&self) -> usize { unimplemented!() } } fn main() {}