1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/shadowing.rs b/src/test/ui/generic-associated-types/shadowing.rs
new file mode 100644
index 000000000..2a9763457
--- /dev/null
+++ b/src/test/ui/generic-associated-types/shadowing.rs
@@ -0,0 +1,31 @@
+#![feature(generic_associated_types)]
+
+trait Shadow<'a> {
+    type Bar<'a>;
+    //~^ ERROR lifetime name `'a` shadows a lifetime name that is already in scope
+}
+
+trait NoShadow<'a> {
+    type Bar<'b>; // OK
+}
+
+impl<'a> NoShadow<'a> for &'a u32 {
+    type Bar<'a> = i32;
+    //~^ ERROR lifetime name `'a` shadows a lifetime name that is already in scope
+}
+
+trait ShadowT<T> {
+    type Bar<T>;
+    //~^ ERROR the name `T` is already used
+}
+
+trait NoShadowT<T> {
+    type Bar<U>; // OK
+}
+
+impl<T> NoShadowT<T> for Option<T> {
+    type Bar<T> = i32;
+    //~^ ERROR the name `T` is already used
+}
+
+fn main() {}