summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lifetimes/re-empty-in-error.rs
blob: 554028a9669327ed4788f50296bfff30636aef8e (plain)
1
2
3
4
5
6
7
8
9
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
}