Lifting the "Self or associated type" constraint on existentials

See here: SE-0309: Unlock existential types for all protocols

2 Likes