question idea: `?` inference interference

[WaffleLapkin]

fn test() -> Option<u32> {
    None::<_>?;
    Some(17)
}

[WaffleLapkin]

Optionally asking that is the type of None::<_>:

fn test() -> Option<u32> {
    let none = None::<_>;
    dbg!(std::any::type_name_of_val(&none));
    none?;
    Some(17)
}

fn main() {
    test();
}