failed AVER: (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))

[Paul F. Dietz]

(lambda (e x)
  (let (r)
    (dolist (u e r)
      (let ((c (some #'f (unless x (push u r)))))
        (unless c (push u r))
        ))))

===>

failed AVER:
    (NOT
     (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA))
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
  1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::FUNCTIONAL-HAS-EXTERNAL-REFERENCES-P SB-C::CLAMBDA)))
  2: (SB-C::DELETE-LAMBDA #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME (SB-C::TL-XEP (LAMBDA #)) :KIND :EXTERNAL :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFIN..
  3: (SB-C::DELETE-BLOCK #<SB-C::CBLOCK 41 :START c1 {1004CEFC23}> NIL)
  4: (SB-C::CLEAN-COMPONENT #<SB-C:COMPONENT :NAME (SB-C::XEP (FLET "WRAPPER4" :IN #:BLOCK3)) :REANALYZE T {1004CF2513}> #<SB-C::CBLOCK NIL :START c2 {1004CFE073}>)
  5: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (SB-C::XEP (FLET "WRAPPER4" :IN #:BLOCK3)) :REANALYZE T {1004CF2513}> NIL)
[...]

[Paul F. Dietz (paul-f-dietz)]

Another simple example with the same error message. The "present?" variable x is given a bad type declaration.

(lambda ()
  (lambda (&optional (a 1 x))
    (declare (type integer x))))

[Paul F. Dietz (paul-f-dietz)]

Another even more simple example (*query-io* is not type compatible with this usage, which I think causes the problem):

(lambda (x) #'(lambda (&rest *query-io*) x))

[Stas Boukarev (stassats)]

I would say these are unrelated.

[Paul F. Dietz (paul-f-dietz)]

Ok, will create a new ticket.

[Stas Boukarev (stassats)]

5cdc24d608bd7b482dfe8bf738aa6e22d146a7d8