The value NIL is not of type SB-C::IR2-LVAR (in SB-C::LVAR-RESULT-TNS)

[Paul F. Dietz]

(declaim (special *s5*))

(let ((*s5* 0))
  (catch 'ct4
    (eval
     '(labels ((%f (x) 0))
       (multiple-value-prog1 *s5*
         (throw 'ct4
           (if (%f *s5*)
               0
               0))
         *s5*
         (prog2 *s5* 0
           (%f *s5*))
         )))))

===>
The value
  NIL
is not of type
  SB-C::IR2-LVAR
   [Condition of type TYPE-ERROR]
[...]
Backtrace:
  0: (SB-C::LVAR-RESULT-TNS #<SB-C::LVAR 1 {10076C4B83}> (#<SB-C:PRIMITIVE-TYPE :NAME T>))
  1: (SB-C::IR2-CONVERT-TEMPLATE #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-KERNEL:SYMEVAL :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIN..
  2: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 1 :START c2 {10076C4DE3}>)
  3: (SB-C:IR2-CONVERT #<SB-C:COMPONENT :NAME (LABELS %F) {10076CA7C3}>)
  4: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LABELS %F) {10076CA7C3}>)

[Stas Boukarev (stassats)]

In ba292b815cfa9c8930aa4c8e413bb574aba37a96