The value 23767973764779437449 is not of type (INTEGER -9223372036854775808 18446744073709551615) when binding #:|ARG-FOR-(BYTE 64 0)-1|

[Paul F. Dietz]

(lambda (b)
  (declare (type (integer -2111518218392 5470033397614) b))
  (let ((v9 b))
    (logand (setq v9 (the (satisfies eval) 23767973764779437449))
            (min b v9))))

==>

The value
  23767973764779437449
is not of type
  (INTEGER -9223372036854775808 18446744073709551615)
when binding #:|ARG-FOR-(BYTE 64 0)-1|
   [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=14217 "repl-thread" RUNNING {1001138003}>)

Backtrace:
  0: (SB-X86-64-ASM::EMIT-QWORD #<SB-ASSEM:SEGMENT {100F02F833}> 23767973764779437449) [external]
  1: (SB-ASSEM::%ASSEMBLE #<SB-ASSEM:SEGMENT {100F02F833}> (#<SB-ASSEM::STMT IGNORE {100F02DEA3}> . #<SB-ASSEM::STMT .ALIGN {100F02F973}>))
  2: (SB-ASSEM:ASSEMBLE-SECTIONS #S(SB-ASSEM::ASMSTREAM :DATA-SECTION (#<SB-ASSEM::STMT IGNORE {100F02DEA3}> . #<SB-ASSEM::STMT .ALIGN {100F02F973}>) :CODE-SECTION (#1=#<SB-ASSEM::STMT IGNORE {100F02DEE3}>..
  3: (SB-C::GENERATE-CODE #<SB-C:COMPONENT :NAME "<unknown>" {100EF7CC23}>)
  4: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {100EF7CC23}>)
  5: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {100EF7CC23}>)
  6: (SB-C::%COMPILE (LAMBDA (B) (DECLARE (TYPE # B)) (LET (#) (LOGAND # #))) NIL NIL)
 [...]

x86-64, "2.4.1.46-ab26f3aba"