Type-constraint generic protocols by their non-primary associates types according to SE-0346?

Evolution Discussion
4

Is there a discussion about how will the primary associated types be adopted into the standard library?

The SE-0346 mentions that it is out of the scope of the proposal.

UPDATE: It’s here: [Pitch] Primary Associated Types in the Standard Library