12:55:15pfdietzaeth: the other thing that happens is the secondary and tertiary return values of COMPILE are true. This happens even if the erroneous code is unreachable, if the compiler cannot determine that.
12:55:55pfdietz(compile nil '(lambda (x y z) (if (and (= x y) (= x z) (not (= y z))) (+ 'a) nil))) ==> <fn>, T, T (and warning text is emitted)