Comment 5 for bug 309115

Reduce test case for "The value 0 is not of type SYSTEM-AREA-POINTER."

(declaim (inline foo))
(defun foo (x)
  (flet ((c (ptr)
           (declare (type cons ptr))
           (car ptr)))
    (and (consp x)
         (c x))))

(defun bar ()
  (block nil
    (list (lambda () (return)))
    (foo 0)))