Failed AVER in a program with incompatible type declaration

[Paul F. Dietz]

(defun f58 (x f)
  (declare (type function f))
  (typep x f) ;; f is a bad argument to TYPEP
  (funcall f))

===>

failed AVER:
    (EQ (SB-C::TN-PRIMITIVE-TYPE SB-C::LOC)
        SB-C::FUNCTION-PTYPE)
[...]
  0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::TN-PRIMITIVE-TYPE SB-C::LOC) SB-C::FUNCTION-PTYPE))
  1: (SB-IMPL::%FAILED-AVER (EQ (SB-C::TN-PRIMITIVE-TYPE SB-C::LOC) SB-C::FUNCTION-PTYPE))
  2: (SB-C::FUN-LVAR-TN #<unused argument> #<unused argument> #<SB-C::LVAR 1 {100444A4E3}>)
  3: (SB-C::IR2-CONVERT-TAIL-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :%SOURCE-NAME SB-C::THING :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME F :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHE..
  4: (SB-C::IR2-CONVERT-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :%SOURCE-NAME SB-C::THING :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME F :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FR..
[...]

[Stas Boukarev (stassats)]

In e65eaf4af382569221c9fe86c59fd06ac0bd9595.