src/test/ui/nll/user-annotations/promoted-annotation.rs


1
2
3
4
5
6
7
8
9
10

// Test that type annotations are checked in promoted constants correctly.

fn foo<'a>() {
    let x = 0;
    let f = &drop::<&'a i32>;
    f(&x);
    //~^ ERROR `x` does not live long enough
}

fn main() {}