Lifting the "Self or associated type" constraint on existentials

Wait :scream: you can pass Self to generic context today? :exploding_head: That‘s interesting to know.