failed AVER: (NOT (REST SB-C::MEMBERS))

[Paul F. Dietz]

(defun f140 (p1)
  (declare (type (member #c(0.5d0 4.0d0) #c(0 -1)) p1))
  (/ (the (satisfies eval) p1)))

==>

failed AVER: (NOT (REST SB-C::MEMBERS))
[...]
  0: (SB-C::CONVERT-MEMBER-TYPE #<SB-KERNEL:MEMBER-TYPE (MEMBER #C(0 -1) #C(0.5d0 4.0d0))>)
  1: ((LABELS SB-C::DERIVER :IN SB-C::TWO-ARG-DERIVE-TYPE) #<SB-KERNEL:NUMERIC-TYPE (INTEGER 1 1)> #<SB-KERNEL:MEMBER-TYPE (MEMBER #C(0 -1) #C(0.5d0 4.0d0))> NIL)
  2: ((LABELS SB-C::DERIVER :IN SB-C::TWO-ARG-DERIVE-TYPE) #<SB-KERNEL:NUMERIC-TYPE (INTEGER 1 1)> #<SB-KERNEL:INTERSECTION-TYPE (AND (MEMBER #C(0 -1) #C(0.5d0 4.0d0)) (SATISFIES EVAL))> NIL)
  3: (SB-C::TWO-ARG-DERIVE-TYPE #<SB-C::LVAR 1 {10038EF1F3}> #<SB-C::LVAR 2 {10038EF373}> #<FUNCTION SB-C::/-DERIVE-TYPE-AUX> #<FUNCTION />)
[...]

(on x86-64 Linux)

[Stas Boukarev (stassats)]

52a00ae66618625f96975909712e5a26e380c23d