Lifting the "Self or associated type" constraint on existentials

[Dmitriy_Ignatyev]

You can find detailed explanation in this pitch: Introduce Any<P> as a better way of writing existentials