0.6.11.13:

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

diff --git a/src/compiler/constraint.lisp b/src/compiler/constraint.lisp
index 0283b38..4e4e98a 100644 (file)
--- a/src/compiler/constraint.lisp
+++ b/src/compiler/constraint.lisp
@@ -351,7 +351,7 @@
            (typep
             (if not-p
                 (setq not-res (type-union not-res other))
-                (setq res (type-intersection res other))))
+                (setq res (type-approx-intersection2 res other))))
            (eql
             (let ((other-type (leaf-type other)))
               (if not-p