1 files changed, 19 insertions, 0 deletions
diff --git a/tests/ui/generic-associated-types/unsatisfied-outlives-bound.rs b/tests/ui/generic-associated-types/unsatisfied-outlives-bound.rs
new file mode 100644
index 000000000..7137d9237
--- /dev/null
+++ b/tests/ui/generic-associated-types/unsatisfied-outlives-bound.rs
@@ -0,0 +1,19 @@
+trait ATy {
+    type Item<'a>: 'a;
+}
+
+impl<'b> ATy for &'b () {
+    type Item<'a> = &'b ();
+    //~^ ERROR  the type `&'b ()` does not fulfill the required lifetime
+}
+
+trait StaticTy {
+    type Item<'a>: 'static;
+}
+
+impl StaticTy for () {
+    type Item<'a> = &'a ();
+    //~^ ERROR  the type `&'a ()` does not fulfill the required lifetime
+}
+
+fn main() {}