この機能が入ったことで、どんなプロトコルでもexistentialとして使えるようになったけど、もともと駄目だったようなassociated typeが絡むメソッドは使えない。

4:14 AM

で、associated typeが埋まってないメソッドは呼び出せないって話は、 some typeでパラメータが埋まってないメソッドは呼び出せないのと同じルールになると思った。