// RUN: %target-typecheck-verify-swift

let b: () -> Void = withoutActuallyEscaping({ print("hello crash") }, do: { $0() })
// expected-error@-1 {{cannot convert value of type '()' to closure result type '() -> Void'}}
