Avatar
でもその元々のやつは
6:30 AM
associatedtypeがあったら駄目で、それ自体はプロトコルを満たさないやつですよね?
6:31 AM
だから、GEneralized Existentialで提案されてる Any<P1, P2> の表記で表される機能とは振る舞いが違うから
6:31 AM
むしろちょうど避けられてて良かったのかなと