[Sbcl-devel] UPGRADED-ARRAY-ELEMENT-TYPE on non-type-specs

[Tobias C. R. <tc...@fr...>]

SUBTYPEP does not signal an error on FOO, as it could be defined to
designate types later on.

Also passing :ELEMENT-TYPE 'FOO to MAKE-ARRAY does not result in an
error.

However, UPGRADED-ARRAY-ELEMENT-TYPE signals an error on FOO where FOO
does not designate any type.

I'm that much familiar with that part of the spec, but this seems
like an inconsistency to my eyes.

  -T.