Comment 0 for bug 2060756

(lambda ()
  (lambda ()
    (let ((x 0))
      (setf x (the (satisfies eval) "a"))
      (the (satisfies eval) x))))

==>

The value
  "a"
is not of type
  (OR SB-C:TN SB-X86-64-ASM::REG SB-X86-64-ASM::EA SB-C:FIXUP
      NULL)

when binding SB-X86-64-ASM::THING
   [Condition of type TYPE-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD tid=15339 "repl-thread" RUNNING {1000F10003}>)

Backtrace:
  0: (SB-X86-64-ASM::EMIT-PREFIXES #<SB-ASSEM:SEGMENT {1017A0CE93}> "a" #S(SB-X86-64-ASM::REG :ID 0) :QWORD) [external]
  1: (SB-X86-64-ASM::EMIT-MOV-INSTRUCTION #<SB-ASSEM:SEGMENT {1017A0CE93}> :QWORD #S(SB-X86-64-ASM::REG :ID 0) "a")
  2: (SB-ASSEM::%ASSEMBLE #<SB-ASSEM:SEGMENT {1017A0CE93}> (#<SB-ASSEM::STMT IGNORE {1017A0B0E3}> . #<SB-ASSEM::STMT .ALIGN {1017A0CFD3}>))
  3: (SB-ASSEM:ASSEMBLE-SECTIONS #S(SB-ASSEM::ASMSTREAM :DATA-SECTION (#<SB-ASSEM::STMT IGNORE {1017A0B0E3}> . #<SB-ASSEM::STMT .ALIGN {1017A0CFD3}>) :CODE-SECTION (#1=#<SB-ASSEM::STMT IGNORE {1017A0B123}>..
  4: (SB-C::GENERATE-CODE #<SB-C:COMPONENT :NAME "<unknown>" {10178B9413}>)
  5: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {10178B9413}>)
  6: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {10178B9413}>)
  7: (SB-C::%COMPILE (LAMBDA NIL (LAMBDA NIL (LET # # #))) NIL NIL)
 [...]

x86-64, "2.4.3.99-10c84b846"