Fix 'comp--type-check-optim-block' it using 'comp-cstr-type-p'

* lisp/emacs-lisp/comp.el (comp--type-check-optim-block): Better
condition.

(cherry picked from commit baf74968f9704b6354fff7a254172f72f0ebb747)

diff --git a/lisp/emacs-lisp/comp.el b/lisp/emacs-lisp/comp.el
index f5b35ec07b5c58100bf32c9e211240a751688773..9447f68c362ba44e5b66aa11b82cd9e7ba4b1ed5 100644 (file)
--- a/lisp/emacs-lisp/comp.el
+++ b/lisp/emacs-lisp/comp.el
@@ -2849,10 +2849,7 @@ Return t if something was changed."
                 (call memq ,(and (pred comp-mvar-p) mvar-1) ,(and (pred comp-mvar-p) mvar-2)))
            (cond-jump ,(and (pred comp-mvar-p) mvar-3) ,(pred comp-mvar-p) ,_bb1 ,bb2))
          (cl-assert (comp-cstr-imm-vld-p mvar-tag))
-         (when (and (length= (comp-mvar-typeset mvar-tested) 1)
-                    (member
-                     (car (comp-mvar-typeset mvar-tested))
-                     (symbol-value (comp-cstr-imm mvar-tag))))
+         (when (comp-cstr-type-p mvar-tested (comp-cstr-cl-tag mvar-tag))
            (comp-log (format "Optimizing conditional branch in function: %s"
                              (comp-func-name comp-func))
                      3)