Protocol制約記法のスレのほうで

5:43 AM

Generalized Existentialの記法も同時に扱われているが

5:43 AM

Existential var x: Protocol<.A == Int, .B: P>

5:43 AM

この路線だと、普通のPと同じになるのがいいね

5:43 AM

let xs: Collection<.Element == Int> = [1,2,3]

5:45 AM

var x: Any<Protocol where _.A == Int, _.B: P> ←こっちだと既存のExistentialとの整合性問題がある