Declaring conformance of existential types to protocols

As I use existentials more and more, I increasingly frequently run into the limitation that existentials cannot currently be declared to conform to a protocol. I’ve seen this talked about a lot, but I don’t know about the official plan (if there is one) so I wanted to post both to voice my desire and to ask if anyone can fill me in/point me to relevant links. Thanks!