僕はオーバーライドのルールと、関数型の互換性のルールが一致してないのは変だと思う。

func trans(_ f: (Int) -> Int?) { _ = f(0) } func main() { func f(a: Int?) -> Int { a ?? 0 } // (Int?) -> Int is (Int) -> Int? trans(f) }

(edited)