[rustc.git] / src / test / ui / kindck / kindck-impl-type-params-2.rs

#![feature(box_syntax)]

trait Foo {
}

impl<T:Copy> Foo for T {
}

fn take_param<T:Foo>(foo: &T) { }

fn main() {
    let x: Box<_> = box 3;
    take_param(&x);
    //~^ ERROR the trait bound `Box<{integer}>: Foo` is not satisfied
}
Commit	Line	Data
1a4d82fc	1	#![feature(box_syntax)]
223e47cc	2
9346a6ac	3	trait Foo {
223e47cc LB	4	}
223e47cc LB	5
1a4d82fc	6	impl<T:Copy> Foo for T {
223e47cc LB	7	}
223e47cc LB	8
1a4d82fc	9	fn take_param<T:Foo>(foo: &T) { }
223e47cc LB	10
223e47cc LB	11	fn main() {
c34b1796	12	let x: Box<_> = box 3;
1a4d82fc	13	take_param(&x);
1b1a35ee	14	//~^ ERROR the trait bound `Box<{integer}>: Foo` is not satisfied
223e47cc	15	}