When an entity adopts from two protocols that share an associatedType, surprising errors result from namespacing issues.
Type C does not conform to protocol 'B'.
Compiles without error.
Type C does not conform to protocol 'A'.
I would offer that I consider this a low priority or trivial issue, but undesirable behavior nonetheless.