rust/tests/ui/traits/bound/recursion.rs
2023-01-11 09:32:08 +00:00

21 lines
281 B
Rust

// run-pass
// pretty-expanded FIXME #23616
trait I { fn i(&self) -> Self; }
trait A<T:I> {
fn id(x:T) -> T { x.i() }
}
trait J<T> { fn j(&self) -> T; }
trait B<T:J<T>> {
fn id(x:T) -> T { x.j() }
}
trait C {
fn id<T:J<T>>(x:T) -> T { x.j() }
}
pub fn main() { }