(upgraded-complex-part-type 'integer) is RATIONAL, so I think you fixed the wrong thing. The notinline test was correct.
Sorry I didn't make this clear.
(upgraded- complex- part-type 'integer) is RATIONAL, so I think you fixed the wrong thing. The notinline test was correct.
Sorry I didn't make this clear.