check-declare-warn
check-declare-warn is a compiled Lisp function in `check-declare.el
'.
(check-declare-warn FILE FN FNFILE TYPE)
Warn that FILE made a false claim about FN in FNFILE.
TYPE is a string giving the nature of the error. Warning is displayed in
`check-declare-warning-buffer'.