src/test/ui/traits/bound/recursion.rs

   1 // run-pass
   2 // pretty-expanded FIXME #23616
   3
   4 trait I { fn i(&self) -> Self; }
   5
   6 trait A<T:I> {
   7     fn id(x:T) -> T { x.i() }
   8 }
   9
  10 trait J<T> { fn j(&self) -> T; }
  11
  12 trait B<T:J<T>> {
  13     fn id(x:T) -> T { x.j() }
  14 }
  15
  16 trait C {
  17     fn id<T:J<T>>(x:T) -> T { x.j() }
  18 }
  19
  20 pub fn main() { }