1 files changed, 10 insertions, 0 deletions
diff --git a/tests/ui/lifetimes/re-empty-in-error.rs b/tests/ui/lifetimes/re-empty-in-error.rs
new file mode 100644
index 00000000000..554028a9669
--- /dev/null
+++ b/tests/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
+}