Comment 3 for bug 1730434

Further simplified to
(lambda ()
  (declare (optimize (debug 2)))
  (block b8
    (labels ((%f17 (&optional (f17-1 (return-from b8 1))
                              (f17-2 (if t (return-from b8 2)))
                              f17-3
                    &rest args)
               (return-from b8 0)))
      (let (x)
        (equal 10 (%f17 0 3))
        (%f17 123 0 0)
        (%f17 0)
        x))))