1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/regions/regions-assoc-type-region-bound-in-trait-not-met.stderr b/tests/ui/regions/regions-assoc-type-region-bound-in-trait-not-met.stderr
new file mode 100644
index 000000000..ac6154139
--- /dev/null
+++ b/tests/ui/regions/regions-assoc-type-region-bound-in-trait-not-met.stderr
@@ -0,0 +1,27 @@
+error[E0477]: the type `&'a i32` does not fulfill the required lifetime
+  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:15:18
+   |
+LL |     type Value = &'a i32;
+   |                  ^^^^^^^
+   |
+note: type must satisfy the static lifetime as required by this binding
+  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:5:17
+   |
+LL |     type Value: 'a;
+   |                 ^^
+
+error[E0477]: the type `&'a i32` does not fulfill the required lifetime
+  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:20:18
+   |
+LL |     type Value = &'a i32;
+   |                  ^^^^^^^
+   |
+note: type must outlive the lifetime `'b` as defined here as required by this binding
+  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:19:10
+   |
+LL | impl<'a, 'b> Foo<'b> for &'a i64 {
+   |          ^^
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0477`.