X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.impure.lisp;h=28479f064299254cae66ec6179689c1ccc5038a3;hb=219cc40793f9c82fb943b29a1846f898f4f9de1e;hp=a992a15726e6ca1d25ccf950d3e4c2dfb9c06655;hpb=9f13d0bd64a14870487daa2e62ea005965b04eac;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index a992a15..28479f0 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -723,4 +723,13 @@
     (multiple-value-bind (ok sure) (sb-kernel:csubtypep t1 t2)
       (assert (and ok sure)))))
 
+(with-test (:name :unknown-type-not=-for-sure)
+  (let* ((type (gensym "FOO"))
+         (spec1 (sb-kernel:specifier-type `(vector ,type)))
+         (spec2 (sb-kernel:specifier-type `(vector single-float))))
+    (eval `(deftype ,type () 'double-float))
+    (multiple-value-bind (ok sure) (sb-kernel:type= spec1 spec2)
+      (assert (not ok))
+      (assert sure))))
+
 ;;; success