1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-infer-invariance-due-to-decl.base.stderr b/src/test/ui/regions/regions-infer-invariance-due-to-decl.base.stderr
new file mode 100644
index 00000000000..dc7d0005ca2
--- /dev/null
+++ b/src/test/ui/regions/regions-infer-invariance-due-to-decl.base.stderr
@@ -0,0 +1,18 @@
+error[E0308]: mismatched types
+  --> $DIR/regions-infer-invariance-due-to-decl.rs:16:5
+   |
+LL |     b_isize
+   |     ^^^^^^^ lifetime mismatch
+   |
+   = note: expected struct `Invariant<'static>`
+              found struct `Invariant<'r>`
+note: the lifetime `'r` as defined here...
+  --> $DIR/regions-infer-invariance-due-to-decl.rs:15:23
+   |
+LL | fn to_longer_lifetime<'r>(b_isize: Invariant<'r>) -> Invariant<'static> {
+   |                       ^^
+   = note: ...does not necessarily outlive the static lifetime
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.