``` fn f<T>(g: block() -> T) -> T { g() } fn main() { let x = f({ | | 10 }); // No-worky - cannot determine a type for this expression f({ | | }); // Also no-worky f({ | | ()}); // Yeah-worky let _: () = f({ | | }); } ```