add_semicolon_non_block_closure.rs

fn foo(_f: impl Fn()) {}

fn bar() -> i32 {
    1
}

fn main() {
    foo(|| bar())
    //~^ ERROR mismatched types [E0308]
    //~| HELP consider using a semicolon here
}

// ferrocene-annotations: fls_exe4zodlwfez
// Type Unification