Failed AVER calling FORMAT with a bad special variable in place of format string

[Paul F. Dietz]

(compile nil '(lambda () (format nil *debugger-hook*)))

==>

failed AVER:
    (MULTIPLE-VALUE-BIND (SB-C::VAL SB-C::WIN)
        (SB-KERNEL:CSUBTYPEP TYPE
                             (SB-KERNEL:SPECIFIER-TYPE
                              'FUNCTION))
      (OR SB-C::VAL (NOT SB-C::WIN)))
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (MULTIPLE-VALUE-BIND (SB-C::VAL SB-C::WIN) (SB-KERNEL:CSUBTYPEP TYPE (SB-KERNEL:SPECIFIER-TYPE #)) (OR SB-C::VAL (NOT SB-C::WIN))))
  1: (SB-IMPL::%FAILED-AVER (MULTIPLE-VALUE-BIND (SB-C::VAL SB-C::WIN) (SB-KERNEL:CSUBTYPEP TYPE (SB-KERNEL:SPECIFIER-TYPE #)) (OR SB-C::VAL (NOT SB-C::WIN))))
  2: (SB-C::VALIDATE-CALL-TYPE #<SB-C::COMBINATION :FUN #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {10085CED73}> :ASSERTED-TYPE #1=#<SB-KERNEL:UNION-TYPE (OR # # BASE-STRING FUNCTION)> :TYPE-TO-C..
  3: (SB-C::PROPAGATE-FUN-CHANGE #<SB-C::COMBINATION :FUN #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {10085CED73}> :ASSERTED-TYPE #1=#<SB-KERNEL:UNION-TYPE (OR # # BASE-STRING FUNCTION)> :TYPE-TO..
  4: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {10085CED73}> :ASSERTED-TYPE #1=#<SB-KERNEL:UNION-TYPE (OR # # BASE-STRING FUNCTION)> :TYP..
  5: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK NIL :START c2 {10085D5803}>)
[...]

[Stas Boukarev (stassats)]

449d87a8a82a95a9adc6aacee807e5f3772c108f