X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fclos.impure-cload.lisp;fp=tests%2Fclos.impure-cload.lisp;h=d866200d90383253154a883ec2b6982d2b1d206b;hb=2deca07b781acdf0214dacf5a7444756dfba6928;hp=cda6eab15d7b52bbc72054c3ccd903c64bb634e7;hpb=26e00165075861c08b333c04af19e50bd8f65649;p=sbcl.git

diff --git a/tests/clos.impure-cload.lisp b/tests/clos.impure-cload.lisp
index cda6eab..d866200 100644
--- a/tests/clos.impure-cload.lisp
+++ b/tests/clos.impure-cload.lisp
@@ -63,6 +63,13 @@
 (defmethod baz ((x specializer1)) x)
 (assert (typep (baz (make-instance 'specializer1)) 'specializer1))
 
+;;; ... and from McCLIM, another test case:
+(defclass specializer1a (specializer2a specializer2b) ())
+(defclass specializer2a () ())
+(defmethod initialize-instance :after
+    ((obj specializer2a) &key &allow-other-keys)
+  (print obj))
+
 ;;; 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)