左辺がAnyで推論されて

2:01 AM

それが伝搬して[Int?].flatMap { $0 } じゃなく [Any].flatMap { $0 }になってしまったものと思われる

2:01 AM

これに関しては一貫してArrayの暗黙キャストが悪だと訴えたい

2:02 AM

とはいえ[Int, Int?, Int]のArrayならキャスト無しなら正しくは[Any]になるはずか。