[rustc.git] / src / test / ui / issues / issue-50825-1.rs

// run-pass
// regression test for issue #50825
// Make sure that the `impl` bound (): X<T = ()> is preferred over
// the (): X bound in the where clause.

trait X {
    type T;
}

trait Y<U>: X {
    fn foo(x: &Self::T);
}

impl X for () {
    type T = ();
}

impl<T> Y<Vec<T>> for () where (): Y<T> {
    fn foo(_x: &()) {}
}

fn main () {}
Commit	Line	Data
94b46f34 XL	1	// run-pass
	2	// regression test for issue #50825
	3	// Make sure that the `impl` bound (): X<T = ()> is preferred over
	4	// the (): X bound in the where clause.
7cac9316	5
94b46f34 XL	6	trait X {
94b46f34 XL	7	type T;
b039eaaf	8	}
85aaf69f	9
94b46f34 XL	10	trait Y<U>: X {
94b46f34 XL	11	fn foo(x: &Self::T);
b039eaaf	12	}
223e47cc	13
94b46f34 XL	14	impl X for () {
94b46f34 XL	15	type T = ();
83c7162d XL	16	}
83c7162d XL	17
94b46f34 XL	18	impl<T> Y<Vec<T>> for () where (): Y<T> {
94b46f34 XL	19	fn foo(_x: &()) {}
c34b1796	20	}
7cac9316	21
94b46f34	22	fn main () {}