src/test/ui/lifetimes/re-empty-in-error.rs

   1 // We didn't have a single test mentioning
   2 // `ReEmpty` and this test changes that.
   3 fn foo<'a>(_a: &'a u32) where for<'b> &'b (): 'a {
   4 }
   5
   6 fn main() {
   7     foo(&10);
   8     //~^ ERROR higher-ranked lifetime error
   9     //~| NOTE could not prove
  10 }