Comment 1 for bug 1430912

Reduced:

(defun foo ()
  (macrolet ((x (&rest args)
               (declare (ignore args))
               a))
    (let (a)
      (declare (type vector a))
      (x #.#'list))))