failed AVER: (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP)

[Paul F. Dietz]

(defun f68 (x)
  (lambda ()
    (labels ((%s (y &rest r)
               (some
                (lambda (r) (apply #'%s (1+ y) r))
                (apply #'eql x r))))
      (%s 1))))

===>

failed AVER:
    (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP))
  1: (SB-IMPL::%FAILED-AVER (EQ (SB-C::FUNCTIONAL-KIND SB-C::FUNCTIONAL) :TOPLEVEL-XEP))
  2: (SB-C::IR2-CONVERT-CLOSURE #<SB-C::REF :LEAF #<SB-C::OPTIONAL-DISPATCH :%SOURCE-NAME %S :%DEBUG-NAME #1=(LABELS %S :IN F68) :TYPE #2=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :D..
  3: (SB-C::IR2-CONVERT-REF #<SB-C::REF :LEAF #<SB-C::OPTIONAL-DISPATCH :%SOURCE-NAME %S :%DEBUG-NAME #1=(LABELS %S :IN F68) :TYPE #2=#<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFIN..
  4: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 13 :START c2 {100579D733}>)
 [...]

[Stas Boukarev (stassats)]

414743234bb154af269a78c6680c8661b5f404fa