kebo

https://github.com/apple/swift/pull/42277 をみた感じだと，any P? を (any P)? にする対応はここの分岐で書かれているので，ここに any P! を (any P)! にする対応を追加する必要があるのかもしれないですね． https://github.com/apple/swift/blob/c7766763e8ef7b0425c95c8c688f34fcaa884f26/lib/Sema/TypeCheckType.cpp#L4845-L4857

そっちでもいいですが、 P? を (any P)? にしてるこちらを改良して P! を (any P)! にする機能も追加したほうが一手短くて良いと思います https://discord.com/channels/291054398077927425/306995750418513920/1094085905586855937 (edited)