1.0.44.2: don't add pointless TYPEP T constraints

[sbcl.git] / src / compiler / ir1opt.lisp

diff --git a/src/compiler/ir1opt.lisp b/src/compiler/ir1opt.lisp
index e07fe5d..3c5d7a3 100644 (file)
--- a/src/compiler/ir1opt.lisp
+++ b/src/compiler/ir1opt.lisp
@@ -1752,7 +1752,7 @@
         (loop for var in (lambda-vars fun)
               do (let ((info (lambda-var-arg-info var)))
                    (when (and info (eq :rest (arg-info-kind info)))
-                     (propagate-to-refs var (specifier-type 'list)))))
+                     (propagate-from-sets var (specifier-type 'list)))))
         ;; The normal case.
         (let* ((vars (lambda-vars fun))
                (union (mapcar (lambda (arg var)