#<SB-C:TN #:D1!1 :NORMAL> is not valid as the second argument to VOP: SB-VM::OVERFLOW*-SIGNED

(lambda (x y)
  (declare (fixnum x y))
  (make-array
   (list x (max 1 (the (satisfies eval) y)))))

==>

#<SB-C:TN #:D1!1 :NORMAL> is not valid as the second argument to VOP:
  SB-VM::OVERFLOW*-SIGNED
Primitive type: T
SC restrictions:
  (SB-VM::SIGNED-REG)
The primitive type disallows these loadable SCs:
  (SB-VM::SIGNED-REG)
   [Condition of type SIMPLE-ERROR]

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

Backtrace:
  0: (SB-C::BAD-COERCE-ERROR #<SB-C:TN-REF :TN #<SB-C:TN #:D1!1 :NORMAL> :WRITE-P NIL :VOP SB-VM::OVERFLOW*-SIGNED>)
  1: (SB-C::EMIT-COERCE-VOP #<SB-C:TN-REF :TN #<SB-C:TN #:D1!1 :NORMAL> :WRITE-P NIL :VOP SB-VM::OVERFLOW*-SIGNED> NIL #(NIL NIL T NIL NIL NIL ...) #<SB-C::VOP :INFO SB-VM::OVERFLOW*-SIGNED :ARGS #<SB-C:TN..
  2: (SB-C::COERCE-SOME-OPERANDS #<SB-C:TN-REF :TN #<SB-C:TN t2 :NORMAL> :WRITE-P NIL :VOP SB-VM::OVERFLOW*-SIGNED> NIL (#1=#(NIL NIL T NIL NIL NIL ...) #1#) #<SB-C::VOP :INFO SB-VM::OVERFLOW*-SIGNED :ARGS..
  3: (SB-C::COERCE-VOP-OPERANDS #<SB-C::VOP :INFO SB-VM::OVERFLOW*-SIGNED :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t2 :NORMAL> :WRITE-P NIL :VOP SB-VM::OVERFLOW*-SIGNED> :RESULTS #<SB-C:TN-REF :TN #<SB-C:TN t3 :N..
  4: (SB-C::EMIT-MOVES-AND-COERCIONS #<SB-C::IR2-BLOCK :START-VOP #<SB-C::VOP :INFO SB-C:MOVE :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t4 :NORMAL> :WRITE-P NIL :VOP SB-C:MOVE> :RESULTS #<SB-C:TN-REF :TN #<SB-C:T..
  5: (SB-C::SELECT-REPRESENTATIONS #<SB-C:COMPONENT :NAME "<unknown>" {103532A7E3}>)
  6: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {103532A7E3}>)
  7: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {103532A7E3}>)
  8: (SB-C::%COMPILE (LAMBDA (X Y) (DECLARE (FIXNUM X Y)) (MAKE-ARRAY (LIST X #))) NIL NIL)
 [...]

x86-64, "2.3.9.58-11d0ec46f"