rust/tests/ui/traits/bound/recursion.rs

//@ check-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() { }
Update tests 2024-02-07 02:42:01 +00:00			`//@ check-pass`
rustdoc: Replace no-pretty-expanded with pretty-expanded Now that features must be declared expanded source often does not compile. This adds 'pretty-expanded' to a bunch of test cases that still work. 2015-03-22 20:13:15 +00:00			`//@ pretty-expanded FIXME #23616`

Long awaited test case for #2355. 2013-09-02 21:19:04 +00:00			`trait I { fn i(&self) -> Self; }`

test: Fix fallout in tests 2015-04-18 05:12:20 +00:00			`trait A<T:I> {`
Long awaited test case for #2355. 2013-09-02 21:19:04 +00:00			`fn id(x:T) -> T { x.i() }`
			`}`

Fallout: tests. As tests frequently elide things, lots of changes here. Some of this may have been poorly rebased, though I tried to be careful and preserve the spirit of the test. 2015-02-12 15:29:52 +00:00			`trait J<T> { fn j(&self) -> T; }`
Long awaited test case for #2355. 2013-09-02 21:19:04 +00:00
test: Fix fallout in tests 2015-04-18 05:12:20 +00:00			`trait B<T:J<T>> {`
Long awaited test case for #2355. 2013-09-02 21:19:04 +00:00			`fn id(x:T) -> T { x.j() }`
			`}`

test: Fix fallout in tests 2015-04-18 05:12:20 +00:00			`trait C {`
Long awaited test case for #2355. 2013-09-02 21:19:04 +00:00			`fn id<T:J<T>>(x:T) -> T { x.j() }`
			`}`

Fix run-pass tests to have 'pub fn main' This is required by the check-fast target because each test is slurped up into a submodule. 2013-09-25 07:43:37 +00:00			`pub fn main() { }`