-#![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;
+ let x: Box<_> = Box::new(3);
take_param(&x);
//~^ ERROR the trait bound `Box<{integer}>: Foo` is not satisfied
}