Comment 0 for bug 1928798

(lambda (b)
  (block b7
    (equal
     (the integer
          (ignore-errors
           (return-from b7
             b)))
    (the integer
          (if t
              (return-from b7 b)
              (ignore-errors
               (if t
                   (return-from b7 1099511627782)
                   -59060)))))))

==>

#<SB-KERNEL:NAMED-TYPE NIL> fell through ETYPECASE expression.
Wanted one of (SB-KERNEL:ARRAY-TYPE SB-KERNEL:UNION-TYPE
               SB-KERNEL:MEMBER-TYPE
               SB-KERNEL:INTERSECTION-TYPE).
   [Condition of type SB-KERNEL:CASE-FAILURE]

Restarts:
 0: [RETRY] Retry EVAL of current toplevel form.
 1: [CONTINUE] Ignore error and continue loading file "/home/pdietz/ansi-test/bug54.lisp".
 2: [ABORT] Abort loading file "/home/pdietz/ansi-test/bug54.lisp".
 3: [RETRY] Retry SLIME REPL evaluation request.
 4: [*ABORT] Return to SLIME's top level.
 5: [REMOVE-FD-HANDLER] Remove #<SB-IMPL::HANDLER INPUT on descriptor 4: #<FUNCTION (LABELS SWANK/SBCL::RUN :IN SWANK/BACKEND:ADD-FD-HANDLER) {10447E23DB}>>
 --more--

Backtrace:
  0: ((LABELS SB-KERNEL::DETERMINE :IN SB-KERNEL:CTYPE-ARRAY-DIMENSIONS) #<SB-KERNEL:NAMED-TYPE NIL>)
  1: (SB-KERNEL:CTYPE-ARRAY-DIMENSIONS #<SB-KERNEL:NAMED-TYPE NIL>)
  2: (SB-C::ARRAY-TYPE-DIMENSIONS-MISMATCH #<SB-KERNEL:NAMED-TYPE NIL> #<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..
  4: (SB-C::IR1-OPTIMIZE-COMBINATION #<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 :GLOBA..
 [...]