Compilation failure involving constant types
Reported by Eric Marsden on sbcl-devel:
(lambda (a b)
(declare ((integer 1 1) a)
(lambda () (< b a)))
causes compailer to fail with "The value NIL is not of type NUMBER." error.
Bisecting reveals (thanks to Xach) the following commit http://