Gaps in primary associated type support?

[gwendal.roue (Gwendal Roué)]

For the record, another SE-0346 feature that was not implemented is described at Shorthand conformance to a protocol with a primary associated type