non-lexical lifetimes

[iorveth]

https://doc.rust-lang.org/edition-guide/rust-2018/the-compiler/improved-error-messages.html
The code in this example will compile, because of non-lexical lifetimes, described previously.
https://doc.rust-lang.org/edition-guide/rust-2018/ownership-and-lifetimes/non-lexical-lifetimes.html
Consider this example

fn main() {
    let mut x = 5;
    let y = &x;

    x += 1;
    println!("{}",*y);
}