And our upgraded-complex-part-type doesn't upgrade anything, so it can't be claimed that it has the same representation.
And
(typep (complex 1 4) '(or (complex (integer 1 2)) (complex (integer 3 4))))
doesn't actually have union part-types, yet the result is different from
And our upgraded- complex- part-type doesn't upgrade anything, so it can't be claimed that it has the same representation.
And
(typep (complex 1 4) '(or (complex (integer 1 2)) (complex (integer 3 4))))
doesn't actually have union part-types, yet the result is different from
(or (typep (complex 1 4)
'(complex (integer 3 4)))
'(complex (integer 1 2))))
(typep (complex 1 4)