1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/kindck/kindck-impl-type-params-2.rs b/src/test/ui/kindck/kindck-impl-type-params-2.rs
new file mode 100644
index 000000000..8b0771985
--- /dev/null
+++ b/src/test/ui/kindck/kindck-impl-type-params-2.rs
@@ -0,0 +1,15 @@
+trait Foo {
+}
+
+
+
+impl<T:Copy> Foo for T {
+}
+
+fn take_param<T:Foo>(foo: &T) { }
+
+fn main() {
+    let x: Box<_> = Box::new(3);
+    take_param(&x);
+    //~^ ERROR the trait bound `Box<{integer}>: Foo` is not satisfied
+}