#<SB-KERNEL:NAMED-TYPE NIL> fell through ETYPECASE expression.

[Paul F. Dietz]

(lambda (x)
  (loop for y below 3 count
       (or
 (not (or (>= y y) (equal y -787357528)))
 (= x
    (or (>= y y) (equal y -787357528)) ;; bad type for =
    ))))

===>

#<SB-KERNEL:NAMED-TYPE NIL> fell through ETYPECASE expression.
Wanted one of (SB-KERNEL:ARRAY-TYPE SB-KERNEL:UNION-TYPE
               SB-KERNEL:INTERSECTION-TYPE
               SB-KERNEL:MEMBER-TYPE).
[...]
  0: ((LABELS SB-KERNEL::DETERMINE :IN SB-KERNEL:CTYPE-ARRAY-SPECIALIZED-ELEMENT-TYPES) #<SB-KERNEL:NAMED-TYPE NIL>)
  1: (SB-KERNEL:CTYPE-ARRAY-SPECIALIZED-ELEMENT-TYPES #<SB-KERNEL:NAMED-TYPE NIL>)
  2: ((FLET SB-C::NON-EQUAL-ARRAY-P :IN "SYS:SRC;COMPILER;SRCTRAN.LISP") #<SB-KERNEL:NAMED-TYPE NIL>)
  3: ((SB-C:DEFTRANSFORM EQUAL) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME EQUAL :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUN..
[...]

[Stas Boukarev (stassats)]

7f50fa0abb06a0675163210f1a4580b98e5801bf