1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/dst/dst-sized-trait-param.rs b/src/test/ui/dst/dst-sized-trait-param.rs
new file mode 100644
index 000000000..cfd59197b
--- /dev/null
+++ b/src/test/ui/dst/dst-sized-trait-param.rs
@@ -0,0 +1,13 @@
+// Check that when you implement a trait that has a sized type
+// parameter, the corresponding value must be sized. Also that the
+// self type must be sized if appropriate.
+
+trait Foo<T> : Sized { fn take(self, x: &T) { } } // Note: T is sized
+
+impl Foo<[isize]> for usize { }
+//~^ ERROR the size for values of type
+
+impl Foo<isize> for [usize] { }
+//~^ ERROR the size for values of type
+
+pub fn main() { }