failed AVER: (EQ POP (CAR SB-C::END-STACK))

[Paul F. Dietz]

(lambda ()
  (dotimes (iv2 1 0)
    (let ((v1 iv2))
      (restart-bind nil
        (catch 'ct2
          (throw 'ct2 (the integer v1)))))))

==>

failed AVER: (EQ POP (CAR SB-C::END-STACK))
[...]
Backtrace:
  0: (SB-C::ORDER-BLOCK-UVL-SETS #<SB-C::CBLOCK 2 :START c1 {104C2893A3}> #<SB-C::CBLOCK 3 :START c2 {104C27DC33}>)
  1: (SB-C::ORDER-UVL-SETS #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-2) {104C27BE53}>)
  2: (SB-C::STACK-ANALYZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-2) {104C27BE53}>)
 [...]