src/test/ui/associated-type-bounds/associated-item-through-where-clause.rs

   1 // check-pass
   2
   3 trait Foo {
   4     type Item;
   5 }
   6
   7 trait Bar
   8 where
   9     Self: Foo,
  10 {
  11 }
  12
  13 #[allow(dead_code)]
  14 fn foo<M>(_m: M)
  15 where
  16     M: Bar,
  17     M::Item: Send,
  18 {
  19 }
  20
  21 fn main() {}