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