(defun f358 (b) (declare (type (integer -62 12) b)) (case b ((-62 291 461 319) :good) (t :bad)))
(defun bug358 () (f358 -62))
(bug358) ==> :BAD
x86-64, "2.4.2.200-8a4a8dd68"
Bug watches keep track of this bug in other bug trackers.