プロポーザルの英語が難しくて自信ないけど、実装の方のテストも合わせて見た感じでは (edited)

5:49 PM

Implementation for https://forums.swift.org/t/lifting-the-self-or-associated-type-constraint-on-existentials/18025 This PR removes the existing "Self or associated type" restrict...

5:50 PM

今まで Existential type として使えないようなprotocolでも使えるようにするが、

5:50 PM

contravariant Self と associatedtype が絡んでるメンバは呼び出せないという制限付きになる

5:50 PM

という話っぽい