P1 & P2 は今もあるプロトコルをそのまま変数の型にできるやつで

6:29 AM

Generalized Existentialになったときに

6:29 AM

~~associatedvalue~~ があっても大丈夫になって (edited)

6:29 AM

表記がAny<P1, P2> になるのだと思ってます

6:30 AM

associatedtypeか