Unlock Existential Types for All Protocols

[sighoya]

I think your request relates to the following future direction mentioned at the end of the proposal:

Allow constraining existential types, i.e. let collection: any Collection<Self.Element == Int> = [1, 2, 3].