1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/lifetimes/re-empty-in-error.rs b/src/test/ui/lifetimes/re-empty-in-error.rs
new file mode 100644
index 000000000..554028a96
--- /dev/null
+++ b/src/test/ui/lifetimes/re-empty-in-error.rs
@@ -0,0 +1,10 @@
+// We didn't have a single test mentioning
+// `ReEmpty` and this test changes that.
+fn foo<'a>(_a: &'a u32) where for<'b> &'b (): 'a {
+}
+
+fn main() {
+    foo(&10);
+    //~^ ERROR higher-ranked lifetime error
+    //~| NOTE could not prove
+}