This generates an incorrect fall-through when A is "a" and FOO returns NIL:<div><br></div><div><div>(defun blah (a)</div><div>  (case a</div><div>    ("a" (when (foo) (return-from blah 111)))</div><div>

    ("b" t)))</div></div><div><br></div><div>Note that if you replace WHEN with IF, it works.</div>