Interestingly,
(defun foo (&key count) (declare (fixnum count)) count)
doesn't produce any warnings, although the type mismatch is the same as with &optional.
Interestingly,
(defun foo (&key count)
(declare (fixnum count))
count)
doesn't produce any warnings, although the type mismatch is the same as with &optional.