Allow properly constrained sub-protocols to be used as existentials

Evolution Pitches
2

For reference, it was also discussed last week: Why can't protocol which inherits from PAT but constrains its associated types be used as existential?

4 Likes