(defun bug405 () (let* ((vals '(683342 61246.766)) (form `(lambda (p1 p2) (declare (optimize (speed 2)) (type (and (rational 683342) (integer -30793573 683343)) p1) (type float p2)) (< p1 p2)))) (apply (compile nil form) vals)))
(bug405) ==> T ; should be NIL
x86-64, "2.4.8.135-b949c6179"
Bug watches keep track of this bug in other bug trackers.