wrong "borrowed value does not live long enough" for singleton struct

[stepancheg]

Code:

trait Foo {}

struct Bar;

impl Foo for Bar {}

fn main() {
    &'static Bar as &'static Foo;
}

Compiler incorrectly reports that values does not live long enough:

tmp2.rs:8:5: 8:17 error: borrowed value does not live long enough
tmp2.rs:8     &'static Bar as &'static Foo;
              ^~~~~~~~~~~~
note: reference must be valid for the static lifetime...
tmp2.rs:8:5: 8:33 note: ...but borrowed value is only valid for the statement at 8:4
tmp2.rs:8     &'static Bar as &'static Foo;
              ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: aborting due to previous error

[alexcrichton]

cc @nikomatsakis

[Aatch]

From my perspective, it seem that the real bug is that we allow lifetimes as part of the addr-of expression. According to the parser, we don't actually use the lifetime.

[sfackler]

Looks like it's related to #11640.

[ghost]

Lifetimes can no longer appear in expressions, closing.