Failed AVER in a program with incompatible type declaration
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
(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::
[...]
0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (EQ (SB-C::
1: (SB-IMPL:
2: (SB-C::FUN-LVAR-TN #<unused argument> #<unused argument> #<SB-C::LVAR 1 {100444A4E3}>)
3: (SB-C::
4: (SB-C::
[...]
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
In e65eaf4af382569 221c9fe86c59fd0 6ac0bd9595.