Does the order of P1 and P2 matter in: extension P1 where Self: P2?

Using Swift
7

I guess your issue is related to Reconsider the semantics of type aliases in protocol extensions - #17 by anthonylatsis