1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/feature-gates/feature-gate-generic_associated_types.rs b/src/test/ui/feature-gates/feature-gate-generic_associated_types.rs
new file mode 100644
index 000000000..c5c134514
--- /dev/null
+++ b/src/test/ui/feature-gates/feature-gate-generic_associated_types.rs
@@ -0,0 +1,31 @@
+use std::ops::Deref;
+
+trait PointerFamily<U> {
+    type Pointer<T>: Deref<Target = T>;
+    //~^ ERROR generic associated types are unstable
+    type Pointer2<T>: Deref<Target = T> where T: Clone, U: Clone;
+    //~^ ERROR generic associated types are unstable
+    //~| ERROR where clauses on associated types are unstable
+}
+
+struct Foo;
+
+impl PointerFamily<u32> for Foo {
+    type Pointer<Usize> = Box<Usize>;
+    //~^ ERROR generic associated types are unstable
+    type Pointer2<U32> = Box<U32>;
+    //~^ ERROR generic associated types are unstable
+    //~| ERROR the trait bound `U32: Clone` is not satisfied
+}
+
+trait Bar {
+    type Assoc where Self: Sized;
+    //~^ ERROR where clauses on associated types are unstable
+}
+
+impl Bar for Foo {
+    type Assoc = Foo where Self: Sized;
+    //~^ ERROR where clauses on associated types are unstable
+}
+
+fn main() {}