func foo<T>(_ body: (Int) -> T) -> T { return body(42) } func foo<T>(_ body: () -> T) -> T { return body() } let result: String = foo { arg in print(arg + 12) return "test" }

今日これがXcode8.3.2 でタイプチェック通らない(ambigous)ことにムカッときたけど Swift4 では通ったので、たぶん SE-0110 の良い影響なんだと思いました。 (edited)