edebug chokes on check-type

[Daniel Colascione]

This code makes edebug refuse to instrument a function:

(require 'cl)
(defun foo (x) (cl-check-type x cons))

Looking at cl-macs.el, we see that cl-check-type is instrumented as follows:

(declare (debug (place cl-type-spec &optional stringp)))

No wonder edebug dies: it doesn't understand what cl-type-spec is
supposed to be. Neither do I --- where is it supposed to have come from?

signature.asc
Description: OpenPGP digital signature