[Sbcl-devel] [BUG] hairy function type

[Alexey D. <ade...@co...>]

Hello,

SBCL fails to compile, printing

failed AVER:
  "(AND (EQ (IR2-CONTINUATION-PRIMITIVE-TYPE 2CONT) FUNCTION-PTYPE) (EQ CHECK T))"

=====
(defun mur (f)
  (eq nil (funcall f)))

(defun foo (f x)
  (declare (type (and function (satisfies mur)) f))
  (funcall f x))
=====

Checked in 0.6.12.43, 0.7.0 and 0.7.7. CMUCL 18d compiles this without
errors.

-- 
Regards,
Alexey Dejneka