X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=1fd9166bcdce58d5c301abfb877a12fa670e9f87;hb=a189a69454ef7635149319ae213b337f17c50d20;hp=f20d6f5e5b9165535ce3fbef36d27ef394c7e93b;hpb=8f26d19948335a96002699ab21a387451ae5a6d7;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index f20d6f5..1fd9166 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -4970,3 +4970,7 @@
                      (when (= (array-rank a) 3)
                        (array-dimension a 2)))))))
     (assert noted)))
+
+(with-test (:name :upgraded-array-element-type-undefined-type)
+  (raises-error? (upgraded-array-element-type 'an-undefined-type))
+  (raises-error? (upgraded-array-element-type '(and fixnum an-undefined-type))))