1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/generic-associated-types/unsatisfied-outlives-bound.stderr b/tests/ui/generic-associated-types/unsatisfied-outlives-bound.stderr
new file mode 100644
index 000000000..1c9ac01ec
--- /dev/null
+++ b/tests/ui/generic-associated-types/unsatisfied-outlives-bound.stderr
@@ -0,0 +1,27 @@
+error[E0477]: the type `&'b ()` does not fulfill the required lifetime
+  --> $DIR/unsatisfied-outlives-bound.rs:6:21
+   |
+LL |     type Item<'a> = &'b ();
+   |                     ^^^^^^
+   |
+note: type must outlive the lifetime `'a` as defined here as required by this binding
+  --> $DIR/unsatisfied-outlives-bound.rs:6:15
+   |
+LL |     type Item<'a> = &'b ();
+   |               ^^
+
+error[E0477]: the type `&'a ()` does not fulfill the required lifetime
+  --> $DIR/unsatisfied-outlives-bound.rs:15:21
+   |
+LL |     type Item<'a> = &'a ();
+   |                     ^^^^^^
+   |
+note: type must satisfy the static lifetime as required by this binding
+  --> $DIR/unsatisfied-outlives-bound.rs:11:20
+   |
+LL |     type Item<'a>: 'static;
+   |                    ^^^^^^^
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0477`.