[rustc.git] / src / test / ui / traits / traits-inductive-overflow-supertrait.rs

// Regression test for #29859, supertrait version. This example
// allowed arbitrary trait bounds to be synthesized.

trait Magic: Copy {}
impl<T: Magic> Magic for T {}

fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }

#[derive(Debug)]
struct NoClone;

fn main() {
    let (a, b) = copy(NoClone); //~ ERROR E0275
    println!("{:?} {:?}", a, b);
}
Commit	Line	Data
7453a54e SL	1	// Regression test for #29859, supertrait version. This example
7453a54e SL	2	// allowed arbitrary trait bounds to be synthesized.
223e47cc	3
7453a54e SL	4	trait Magic: Copy {}
7453a54e SL	5	impl<T: Magic> Magic for T {}
1a4d82fc	6
7453a54e	7	fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }
223e47cc	8
7453a54e SL	9	#[derive(Debug)]
7453a54e SL	10	struct NoClone;
c34b1796 AL	11
c34b1796 AL	12	fn main() {
7453a54e SL	13	let (a, b) = copy(NoClone); //~ ERROR E0275
7453a54e SL	14	println!("{:?} {:?}", a, b);
c34b1796	15	}