// Issue #5062

fn main() {
    None; //~ ERROR type annotations needed [E0282]
}