X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fmop.impure.lisp;h=215280ad3a80a1a17cea75975e9d0c919ba5284a;hb=9b69e80c82ef126a8f9c120113d4e75b17845f13;hp=6015c6652f7b23b2773ec20d761fe0952f693805;hpb=2deecbd428dee535b5830e0686ad130f64110fb9;p=sbcl.git

diff --git a/tests/mop.impure.lisp b/tests/mop.impure.lisp
index 6015c66..215280a 100644
--- a/tests/mop.impure.lisp
+++ b/tests/mop.impure.lisp
@@ -677,5 +677,12 @@
                               ((instance :initform 2)
                                (class :allocation :class :initform :ok))))
                      (slot-value o 'instance))))))
+
+(defgeneric definitely-a-funcallable-instance (x))
+(with-test (:name (set-funcallable-instance-function :typechecking))
+  (assert (raises-error? (set-funcallable-instance-function
+                          (lambda (y) nil)
+                          #'definitely-a-funcallable-instance)
+                         type-error)))
 
 ;;;; success