Out of pure interest, what is the problem in returning a strong ordering
with nullptr always being less than p, unless p is a nullptr too, in which
case the result would be equality?

As nullptr is implicitly convertible to any pointer, that's the outcome
that one might expect.

But if not, then ill formed is infinitely better than unspecified IMO.