In the following function constraint propagator optimizes nothing:
(defun foo (x) (declare (integer x)) (declare (optimize speed)) (typecase x (fixnum "hala") (fixnum "buba") (bignum "hip") (t "zuz")))
In the following function constraint propagator optimizes nothing:
(defun foo (x)
(declare (integer x))
(declare (optimize speed))
(typecase x
(fixnum "hala")
(fixnum "buba")
(bignum "hip")
(t "zuz")))