The value #<SB-KERNEL:NAMED-TYPE NIL> is not of type SB-KERNEL:VALUES-TYPE

[Paul F. Dietz]

(defun idni (x) x)
(declaim (notinline idni))

(declaim (special *s5*))

(defun bug020 ()
  (let ((lam '(lambda ()
               (declare (optimize speed debug))
               (progv
                   '(*s5*)
                   (list 0)
                 (labels ((%f15 (f15-1 &optional (f15-2 0) (f15-3 0))
                            (labels ((%f12 (f12-1 f12-2 f12-3)
                                       (isqrt
                                        (abs
                                         (values
                                          (let ((v2 (idni 0)))
                                            (if v2
                                                0
                                                (if v2
                                                    (return-from %f15
                                                      (let ((v6 f12-2) (v7 f15-3))
                                                        (if (> v6 v7)
                                                            -3831303192957600
                                                            (if (< v7 v6)
                                                                7619060127
                                                                62434))))
                                                    0)))
                                          (if t
                                              (return-from %f15
                                                (* -216 9223372036854775801))
                                              0))))))
                              (let ((v9 (the (satisfies eval) (apply #'%f12 (list 0 0 0)))))
                                (apply #'%f12 (%f12 9223372036854775801 0 0) 0 0 nil)))))
                   (%f15 0))))))
    (compile nil lam)))

(bug020) ==>

The value
  #<SB-KERNEL:NAMED-TYPE NIL>
is not of type
  SB-KERNEL:VALUES-TYPE
   [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=7311 "repl-thread" RUNNING {1200BC0003}>)

Backtrace:
  0: (SB-C::CAST-CHECK-TYPES #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {12075905E3}> :ASSERTED-TYPE #1=#<SB-KERNEL:HAIRY-TYPE (SATISFIES EVAL)> :TYPE-TO-CHECK #1# {1207590633}>)
  1: (SB-C::GENERATE-TYPE-CHECKS #<SB-C:COMPONENT :NAME "<unknown>" :REANALYZE T {1207596163}>)
  2: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME "<unknown>" :REANALYZE T {1207596163}>)
  3: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" :REANALYZE T {1207596163}>)
  4: (SB-C::%COMPILE (LAMBDA NIL (DECLARE (OPTIMIZE SPEED DEBUG)) (PROGV (QUOTE #) (LIST 0) (LABELS # #))) NIL NIL)
[...]

x86-64, "2.5.5.48-6972228c3"