For the past month or so, several people here have requested to have existential types for protocols with associated types when all of said associated types are fully specified. This still won't help with protocols with Self requirements, though.
1 Like