Under the protocols section in the language guide, it is explained that:
Protocol extensions can add implementations to conforming types but can’t make a protocol extend or inherit from another protocol. Protocol inheritance is always specified in the protocol declaration itself.
I was wondering why that is (see my emphasis). Although only a beginner, the idea of extending protocols to make them conform to other protocols seems very intuitive to me, and I would expect it to follow the behavior of types where it is allowed.
Eg, it is not directly clear to me what I should do when I don't have access to the declaration of the protocol A, but would like for all types that conform to it to also inherit conformance to another protocol B.
I'm sure I'm missing something. Looking forward to learning more!