The value NIL is not of type SB-C::LVAR (w. dynamic-extent)

[Paul F. Dietz]

Possibly another manifestation of 1739495

See also 1739642

(lambda (y)
  (let* ((v
          (cons
           (flet ((%f (&optional x)
                    (list x)
                    (list y)))
             (%f 2))
           3)))
    (declare (dynamic-extent v))
    (cdr v)))

==>

The value
  NIL
is not of type
  SB-C::LVAR
 [...]
  0: ((LABELS SB-C::RECURSE :IN SB-C::COMBINATION-ARGS-FLOW-CLEANLY-P) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME CONS :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :..
  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 %F :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASS..
  2: (SB-C::COMBINATION-ARGS-FLOW-CLEANLY-P #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME %F :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :..
  3: (SB-C::USE-GOOD-FOR-DX-P #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME %F :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DE..
  4: ((FLET SB-C::RECURSE :IN SB-C::HANDLE-NESTED-DYNAMIC-EXTENT-LVARS) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME CONS :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# ..
  5: (SB-C::HANDLE-NESTED-DYNAMIC-EXTENT-LVARS :MAYBE-DYNAMIC #<SB-C::LVAR 1 {1004E1D6D3}> NIL)
  6: (SB-C::RECOGNIZE-DYNAMIC-EXTENT-LVARS #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME # :KIND NIL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION ..

[Stas Boukarev (stassats)]

da48769d385305ad58c38ff001fcb65a9f6ccdeb