The value NIL is not of type SB-C::INTERVAL

[Paul F. Dietz]

(lambda (b)
  (declare (optimize (safety 0)))
  (the (satisfies eval)
       (logandc2
        (if b 0 2)
        0)))

==>

The value
  NIL
is not of type
  SB-C::INTERVAL
   [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=1858 "repl-thread" RUNNING {1000BC8003}>)

Backtrace:
  0: ((SB-C:DEFTRANSFORM LOGAND) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME LOGAND :TYPE #1=#.(SPECIFIER-TYPE '#) :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUN..
  1: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME LOGAND :TYPE #1=#.(SPECIFIER-TYPE '#) :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL..
  2: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME "<unknown>" {1006A5AB03}> NIL)
  3: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME "<unknown>" {1006A5AB03}>)
  4: (SB-C::IR1-OPTIMIZE-PHASE-1 #<SB-C:COMPONENT :NAME "<unknown>" {1006A5AB03}>)
  5: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME "<unknown>" {1006A5AB03}>)
  6: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1006A5AB03}>)
  7: (SB-C::%COMPILE (LAMBDA (B) (DECLARE (OPTIMIZE #)) (THE (SATISFIES EVAL) (LOGANDC2 # 0))) NIL NIL)
[...]

x86-64, "2.5.0.62-e4265e790"