NIL is not of type SB-C::LVAR in test with DYNAMIC-EXTENT

[Paul F. Dietz]

(defun f56 ()
  (catch 'c
    (let ((v
           (list
            (labels ((%f13 (x &optional (y 1) (z 2))
                       (the integer z)
                       (list (throw 'c 3))
                       ))
              (%f13 4 5)))
            ))
      (declare (dynamic-extent v))
      (car v))))

===>

The value
  NIL
is not of type
  SB-C::LVAR
when binding SB-C::LVAR
[...]
  0: (SB-C::PRINCIPAL-LVAR-DEST #<SB-C::LVAR 1 {1001D0B593}>)
  1: ((LABELS SB-C::RECURSE :IN SB-C::COMBINATION-ARGS-FLOW-CLEANLY-P) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME %F13 :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLA..
  2: (SB-C::COMBINATION-ARGS-FLOW-CLEANLY-P #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME %F13 :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)>..
[...]

[Stas Boukarev (stassats)]

Will be fixed after the freeze with
https://github.com/stassats/sbcl/commit/878625275c3ea700c04be7088c5a6724aa27677e

[Stas Boukarev (stassats)]

In b6739d24211b5d9baf467d8c69c878d320283ad0