それだとORTの旨味がなくなっちゃいますね… ほかにも型明示したい状況はわりかしありそう。型推論のヒントにしたいときとか、分岐入れるときとか struct S { func f() -> some P } let ss: [S] = ... let arr: [XXX] if cond { arr = ss.map { $0.f() } } else { arr = ... } (edited)