failed AVER: (EQ (IR2-LVAR-KIND 2FIRST) UNKNOWN)

[Eric Marsden]

* (LAMBDA ()
  (BLOCK A
    (MULTIPLE-VALUE-PROG1 42
      (CATCH 'CT
        (HANDLER-BIND NIL
          (RETURN-FROM A
            (CATCH 'CT 43)))))))

debugger invoked on a SB-INT:BUG in thread #<THREAD "initial thread" RUNNING {1002AB4011}>:
    failed AVER: (EQ (IR2-LVAR-KIND 2FIRST) UNKNOWN)

(SBCL 1.0.36.13 running on Linux/AMD64)

[Nikodemus Siivola (nikodemus)]

Better test case, the issue is the DX cons inside the HANDLER-BIND:

        (LAMBDA ()
           (BLOCK A
             (MULTIPLE-VALUE-PROG1 42
               (CATCH 'CT
                 (let ((x (cons t t)))
                   (declare (dynamic-extent x))
                   (RETURN-FROM A (CATCH 'CT (foo x))))))))