Why can't protocol which inherits from PAT but constrains its associated types be used as existential?

Evolution Discussion
, ,
7

I also just came up with a similar thread.

2 Likes