src/test/ui/kindck/kindck-impl-type-params-2.rs

   1 trait Foo {
   2 }
   3
   4
   5
   6 impl<T:Copy> Foo for T {
   7 }
   8
   9 fn take_param<T:Foo>(foo: &T) { }
  10
  11 fn main() {
  12     let x: Box<_> = Box::new(3);
  13     take_param(&x);
  14     //~^ ERROR the trait bound `Box<{integer}>: Copy` is not satisfied
  15 }