From: Eshel Yaron <me@eshelyaron.com>
Date: Mon, 20 Jan 2025 07:57:16 +0000 (+0100)
Subject: * lisp/emacs-lisp/scope.el: Analyze type argument of cl-typep
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=9cb6b27d1b4932cfd1fea8dd8cd92890c5d044c1;p=emacs.git

* lisp/emacs-lisp/scope.el: Analyze type argument of cl-typep
---

diff --git a/lisp/emacs-lisp/scope.el b/lisp/emacs-lisp/scope.el
index f563159254c..5ea596fbeae 100644
--- a/lisp/emacs-lisp/scope.el
+++ b/lisp/emacs-lisp/scope.el
@@ -798,6 +798,14 @@ a (possibly empty) list of safe macros.")
                          (symbols-with-pos-enabled t))
                (when-let ((val-form (plist-get props :group)))
                  (scope-quoted-group local val-form))))
+            (cl-typep
+             (when-let* ((alias-form (cadr forms))
+                         ((eq (scope-sym-bare (car-safe alias-form)) 'quote))
+                         (alias (cadr alias-form))
+                         (beg (scope-sym-pos alias))
+                         (bare (scope-sym-bare alias)))
+               (unless (booleanp bare)
+                 (funcall scope-callback 'type beg (length (symbol-name bare)) nil))))
             (throw
              (when-let* ((tag-form (car forms))
                          ((memq (scope-sym-bare (car-safe tag-form)) '(quote \`)))