↓のPRにこう書いてあるのでwarningは出そうですけどね(まだ限定的なんですかね？) This diagnostic for requiring any on existential types with Self or associated type requirements has already been staged in as a warning. あと、今後は必須になりそうですね。(3時間前くらいにmainには入っているようです) https://github.com/apple/swift/pull/42558 https://github.com/apple/swift/pull/42590 (edited)