src/test/ui/associated-types/wf-cycle-2.rs

   1 // check-pass
   2
   3 trait IntoIt {
   4     type Item;
   5 }
   6
   7 impl<I> IntoIt for I {
   8     type Item = ();
   9 }
  10
  11 trait BaseGraph
  12 where
  13     <Self::VertexIter as IntoIt>::Item: Sized,
  14 {
  15     type VertexIter: IntoIt;
  16 }
  17
  18 fn main() {}