The value NIL is not of type SB-C:TN-REF

[Paul F. Dietz]

(lambda (a b)
  (declare (type (integer -2039473853 66204340851628) a))
  (max 0
       (handler-case
           (values a
                   (catch 'ct2 0)
                   (sbit #*0001000111 (min 9 (max 0 b)))
                   ))))

==>

The value
  NIL
is not of type
  SB-C:TN-REF
   [Condition of type TYPE-ERROR]
[...]
  0: (SB-C::VOP-OPTIMIZE-DATA-VECTOR-REF-WITH-OFFSET/SIMPLE-BIT-VECTOR-C-OPTIMIZER #<SB-C::VOP :INFO SB-VM::DATA-VECTOR-REF-WITH-OFFSET/SIMPLE-BIT-VECTOR :ARGS #<SB-C:TN-REF :TN #<SB-C:TN '#*0001000111!1[C..
  1: (SB-C::RUN-VOP-OPTIMIZERS #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-5) {10165BBAC3}>)
  2: (SB-C::IR2-OPTIMIZE #<SB-C:COMPONENT :NAME (SB-C::ESCAPE-FUN #:EXIT-BLOCK-5) {10165BBAC3}>)
[...]

[Christophe Rhodes (csr21-cantab)]

Thanks. This is not a regression from sbcl-2.2.2 so a post-2.2.3 fix is fine.

[Stas Boukarev (stassats)]

Right, although a check for NIL would've been fine during the freeze, the proper solution is more complicated.

[Stas Boukarev (stassats)]

Which would be https://github.com/stassats/sbcl/commit/5be730b4eafa0796726b0eaea2b5ba0539e18cc0