CLHS mentions "Exceptional Situations: None." for MAKE-ARRAY. Of course, CLHS mentions no exceptional situations for UPGRADED-ARRAY-ELEMENT-TYPE either. Probably it should be STYLE-WARNING if detected at compile-time and an error at runtime.
CLHS mentions "Exceptional Situations: None." for MAKE-ARRAY. ARRAY-ELEMENT- TYPE either.
Of course, CLHS mentions no exceptional situations for UPGRADED-
Probably it should be STYLE-WARNING if detected at compile-time and an error at runtime.