1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/ui/coherence/coherence-impls-sized.rs b/src/test/ui/coherence/coherence-impls-sized.rs
new file mode 100644
index 000000000..231b96ad4
--- /dev/null
+++ b/src/test/ui/coherence/coherence-impls-sized.rs
@@ -0,0 +1,36 @@
+#![feature(negative_impls)]
+
+use std::marker::Copy;
+
+enum TestE {
+  A
+}
+
+struct MyType;
+
+struct NotSync;
+impl !Sync for NotSync {}
+
+impl Sized for TestE {}
+//~^ ERROR E0322
+
+impl Sized for MyType {}
+//~^ ERROR E0322
+
+impl Sized for (MyType, MyType) {}
+//~^ ERROR E0322
+//~| ERROR E0117
+
+impl Sized for &'static NotSync {}
+//~^ ERROR E0322
+
+impl Sized for [MyType] {}
+//~^ ERROR E0322
+//~| ERROR E0117
+
+impl Sized for &'static [NotSync] {}
+//~^ ERROR E0322
+//~| ERROR E0117
+
+fn main() {
+}