feature/native-comp e83c699 2/5: * Define `cl-satisfies-deftype' mapping predicate -> type

[Andrea Corallo]

branch: feature/native-comp
commit e83c6994e1f2553634e0877e86a8ebaa19fbc5d1
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    * Define `cl-satisfies-deftype' mapping predicate -> type
    
        * lisp/emacs-lisp/cl-macs.el (cl-satisfies-deftype): Define symbol
        property as reverse of `cl-deftype-satisfies'.
---
 lisp/emacs-lisp/cl-macs.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lisp/emacs-lisp/cl-macs.el b/lisp/emacs-lisp/cl-macs.el
index f4b22ff..7dfcc28 100644
--- a/lisp/emacs-lisp/cl-macs.el
+++ b/lisp/emacs-lisp/cl-macs.el
@@ -3198,7 +3198,8 @@ Of course, we really can't know that for sure, so it's 
just a heuristic."
                  ;; FIXME: Do we really want to consider this a type?
                  (integer-or-marker . integer-or-marker-p)
                  ))
-  (put type 'cl-deftype-satisfies pred))
+  (put type 'cl-deftype-satisfies pred)
+  (put pred 'cl-satisfies-deftype type))
 
 ;;;###autoload
 (define-inline cl-typep (val type)