Compile time error on ASSOC with non-alist constant arg

[Paul F. Dietz]

(lambda (x) (assoc x '(a b c)))

==>

The value
  A
is not of type
  LIST
   [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=8505 "repl-thread" RUNNING {1001148003}>)

Backtrace:
  0: (SB-C::TRY-PERFECT-FIND/POSITION-MAP ASSOC NIL #<SB-KERNEL:NAMED-TYPE T> (A B C) NIL)
  1: (SB-C::TRANSFORM-LIST-ITEM-SEEK ASSOC #<SB-C::LVAR 1 {1003270DB3}> #<SB-C::LVAR 2 {1003270E93}> NIL NIL NIL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME ASSOC :TYPE #1=..
  2: ((SB-C:DEFTRANSFORM ASSOC) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME ASSOC :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUN..
  3: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME ASSOC :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBA..
  4: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME "<unknown>" {1003271FA3}> NIL)
  5: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME "<unknown>" {1003271FA3}>)
  6: (SB-C::IR1-OPTIMIZE-PHASE-1 #<SB-C:COMPONENT :NAME "<unknown>" {1003271FA3}>)
  7: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME "<unknown>" {1003271FA3}>)
  8: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1003271FA3}>)
  9: (SB-C::%COMPILE (LAMBDA (X) (ASSOC X (QUOTE #))) NIL NIL)
[...]

x86-64, "2.4.1.108-14345969c"