summaryrefslogtreecommitdiffstats
path: root/tests/ui/nll/user-annotations/promoted-annotation.rs
blob: b92f8bfd23b234ce2cb7e0dc5c506e46ed7b6c00 (plain)
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() {}