src/test/ui/issues/issue-16562.rs

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