X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fclos.impure-cload.lisp;fp=tests%2Fclos.impure-cload.lisp;h=db4785a3bdb8b12fbc3fc1b28ed7ec71a62fdee6;hb=63f5fdcb4b0450ad85cc41e867710304c044ff32;hp=beaa4ee4530a4b1545092152ea68f95d83fcd1e8;hpb=2e0b8031efc55c4b59ebf09cd263cf95e435cdfa;p=sbcl.git

diff --git a/tests/clos.impure-cload.lisp b/tests/clos.impure-cload.lisp
index beaa4ee..db4785a 100644
--- a/tests/clos.impure-cload.lisp
+++ b/tests/clos.impure-cload.lisp
@@ -62,6 +62,13 @@
 (defmethod baz ((x specializer2)) x)
 (defmethod baz ((x specializer1)) x)
 (assert (typep (baz (make-instance 'specializer1)) 'specializer1))
+
+;;; in a similar vein, we should be able to define methods on classes
+;;; that are effectively unknown to the type system:
+(sb-mop:ensure-class 'unknown-type)
+(defmethod method ((x unknown-type)) x)
+;;; (we can't call it without defining methods on allocate-instance
+;;; etc., but we should be able to define it).
 
 ;;; success
 (sb-ext:quit :unix-status 104)
\ No newline at end of file