#<SB-C:TN t1 :NORMAL> is not valid as the first argument to VOP: SB-C::STRUCTURE-TYPEP

[Paul F. Dietz]

(defstruct s344 a b)

(lambda (x)
  (declare (type
            (cons real
                  (cons null
                        (or cons
                            (member #\cedilla #\em #\u5c6a3))))
            x))
  (the
   (cons bignum
         (cons t
               (or
                symbol
                s344
                cons)))
   x))

==>

#<SB-C:TN t1 :NORMAL> is not valid as the first argument to VOP:
  SB-C::STRUCTURE-TYPEP
Primitive type: CHARACTER
SC restrictions:
  (SB-VM::DESCRIPTOR-REG)
The primitive type disallows these loadable SCs:
  (SB-VM::DESCRIPTOR-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=4387 "repl-thread" RUNNING {1000F900A3}>)

Backtrace:
  0: (SB-C::BAD-COERCE-ERROR #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP SB-C::STRUCTURE-TYPEP>)
  1: (SB-C::EMIT-COERCE-VOP #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP SB-C::STRUCTURE-TYPEP> NIL #(T NIL NIL (0) NIL NIL ...) #<SB-C::VOP :INFO SB-C::STRUCTURE-TYPEP :ARGS #<SB-C:TN-REF :TN..
  2: (SB-C::COERCE-SOME-OPERANDS #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP SB-C::STRUCTURE-TYPEP> NIL (#(T NIL NIL (0) NIL NIL ...)) #<SB-C::VOP :INFO SB-C::STRUCTURE-TYPEP :ARGS #<SB-C:TN-..
  3: (SB-C::COERCE-VOP-OPERANDS #<SB-C::VOP :INFO SB-C::STRUCTURE-TYPEP :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP SB-C::STRUCTURE-TYPEP> :RESULTS NIL :CODEGEN-INFO (#<SB-ASSEM:LABEL 1..
  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 t2 :NORMAL> :WRITE-P NIL :VOP SB-C:MOVE> :RESULTS #<SB-C:TN-REF :TN #1=#<SB-..
  5: (SB-C::SELECT-REPRESENTATIONS #<SB-C:COMPONENT :NAME "<unknown>" {1014C23AD3}>)
  6: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1014C23AD3}>)
  7: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1014C23AD3}>)
  8: (SB-C::%COMPILE (LAMBDA (X) (DECLARE (TYPE # X)) (THE (CONS BIGNUM #) X)) NIL NIL)
[...]

x86-64, "2.4.2.102-3c931ddd5"