src/test/ui/associated-type-bounds/supertrait-referencing.rs

   1 // check-pass
   2
   3 // The goal of this test is to ensure that T: Bar<T::Item>
   4 // in the where clause does not cycle
   5
   6 trait Foo {
   7     type Item;
   8 }
   9
  10 trait Bar<T> {}
  11
  12 fn baz<T>()
  13 where
  14     T: Foo,
  15     T: Bar<T::Item>,
  16 {
  17 }
  18
  19 fn main() {}