X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ftypetran.lisp;h=2ec8bc61e6340e273b6d6518fe2d54d5838da558;hb=9489abab7f981b8eea2aec8a883f2eb48d4cb138;hp=168d354920a2ae4e9207affdb149c392a6b0970c;hpb=f1407e424f1063203af07d2e61ceef58515a4797;p=sbcl.git

diff --git a/src/compiler/typetran.lisp b/src/compiler/typetran.lisp
index 168d354..2ec8bc6 100644
--- a/src/compiler/typetran.lisp
+++ b/src/compiler/typetran.lisp
@@ -272,10 +272,8 @@
 (defun source-transform-cons-typep (object type)
   (let* ((car-type (cons-type-car-type type))
 	 (cdr-type (cons-type-cdr-type type)))
-    (let ((car-test-p (not (or (type= car-type *wild-type*)
-			       (type= car-type (specifier-type t)))))
-	  (cdr-test-p (not (or (type= cdr-type *wild-type*)
-			       (type= cdr-type (specifier-type t))))))
+    (let ((car-test-p (not (type= car-type *universal-type*)))
+	  (cdr-test-p (not (type= cdr-type *universal-type*))))
       (if (and (not car-test-p) (not cdr-test-p))
 	  `(consp ,object)
 	  (once-only ((n-obj object))