The value NIL is not of type SB-C::CBLOCK when binding SB-C::BLOCK2

[Paul F. Dietz]

(lambda ()
  (labels ((%f (&optional (x (* 2 nil (%f)))) 1)) ;; bad * form
    (%f (%f))))

===>

The value
  NIL
is not of type
  SB-C::CBLOCK
when binding SB-C::BLOCK2
   [Condition of type TYPE-ERROR]
[...]
  0: (SB-C::UNLINK-BLOCKS #<SB-C::CBLOCK NIL :START c1 {1005A381A3}> NIL) [external]
  1: (SB-C::UNCONVERT-TAIL-CALLS #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::&OPTIONAL-PROCESSOR (LABELS %F)) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WH..
  2: (SB-C::MOVE-RETURN-STUFF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::&OPTIONAL-PROCESSOR (LABELS %F)) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE..
  3: (SB-C::LET-CONVERT #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::&OPTIONAL-PROCESSOR (LABELS %F)) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM ..
  4: (SB-C::MAYBE-LET-CONVERT #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::&OPTIONAL-PROCESSOR (LABELS %F)) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE..
  5: (SB-C::DELETE-REF #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::&OPTIONAL-PROCESSOR #) :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHE..
  6: (SB-C::DELETE-BLOCK #<SB-C::CBLOCK NIL :START c1 {1005A381A3}> NIL)
  7: (SB-C::CLEAN-COMPONENT #<SB-C:COMPONENT :NAME (LABELS %F) :REANALYZE T {1005A35CE3}> #<SB-C::CBLOCK 4 :START c3 {1005A30FF3}>)
  8: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (LABELS %F) :REANALYZE T {1005A35CE3}> NIL)
[...]

[Stas Boukarev (stassats)]

24641e414030efb2eabff80ab15dbd1e1fae929a