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

I'm not sure there if there is an issue or not, regarding the examples of this thread. They are at least not similar to the issue in the specific post you linked to. But I assume that if the change mentioned in this post (of the same thread) is made, then the above example should compiler no matter the order, right @anthonylatsis?