Incorrect type information when using same identifier inside and outside of declarative macros

[corwinkuiper]

Minimum example

macro_rules! hello_world {
    () => {
        let a: Option<u8> = None;
    };
}

fn main() {
    let a = 0;
    hello_world!();
    let b = a;
    println!("{}", b);
}

Of note is the type of b, which from the output of vscode is Option,

which is incorrect due to hygine. The warnings reflect that this is the case, but the type information is not right.