From a set theoretic point of view, every object is a set which means that any true definition of an ordered pair should be equivalent to the last definition you have in terms of sets. In this case there are no issues.

If associativity doesn't hold, then it still almost holds in the sense that there is a natural bijection between the cartesian products.

I'm not sure if anyone currently uses the nonassociative notion, but I certainly wouldn't.