rust/tests/ui/lifetimes/re-empty-in-error.rs
2023-01-11 09:32:08 +00:00

11 lines
240 B
Rust

// 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
}