1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/regions/region-invariant-static-error-reporting.rs b/src/test/ui/regions/region-invariant-static-error-reporting.rs
new file mode 100644
index 000000000..c8288b592
--- /dev/null
+++ b/src/test/ui/regions/region-invariant-static-error-reporting.rs
@@ -0,0 +1,21 @@
+// This test checks that the error messages you get for this example
+// at least mention `'a` and `'static`. The precise messages can drift
+// over time, but this test used to exhibit some pretty bogus messages
+// that were not remotely helpful.
+
+// error-pattern:argument requires that `'a` must outlive `'static`
+
+struct Invariant<'a>(Option<&'a mut &'a mut ()>);
+
+fn mk_static() -> Invariant<'static> { Invariant(None) }
+
+fn unify<'a>(x: Option<Invariant<'a>>, f: fn(Invariant<'a>)) {
+    let bad = if x.is_some() {
+        x.unwrap() //~ ERROR borrowed data escapes outside of function [E0521]
+    } else {
+        mk_static()
+    };
+    f(bad);
+}
+
+fn main() {}