This proposal is about adding support for values of existential type when its associated types are known to be fixed to fully concrete types. protocol P { associatedtype X } protocol Q: P where X =...