X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fclos.impure.lisp;h=24b24d9432532ad7eb0137aa7d55878dae009832;hb=a2bef144377ccd88c6c3369b442fdd933fe1c4f1;hp=cf876d9249dccffee1de3fa7a0b0e9affa9cc8c6;hpb=44947befbbe3cef262484c265903599109c4dad6;p=sbcl.git

diff --git a/tests/clos.impure.lisp b/tests/clos.impure.lisp
index cf876d9..24b24d9 100644
--- a/tests/clos.impure.lisp
+++ b/tests/clos.impure.lisp
@@ -1901,4 +1901,23 @@
                    (sb-pcl::generic-function-pretty-arglist
                     #'generic-function-pretty-arglist-optional-and-key)))))
 
+(with-test (:name :bug-894202)
+  (assert (eq :good
+              (handler-case
+                  (let ((name (gensym "FOO"))
+                        (decl (gensym "BAR")))
+                    (eval `(defgeneric ,name ()
+                             (declare (,decl)))))
+                (warning ()
+                  :good)))))
+
+(with-test (:name :bug-898331)
+  (handler-bind ((warning #'error))
+    (eval `(defgeneric bug-898331 (request type remaining-segment-requests all-requests)))
+    (eval `(defmethod bug-898331 ((request cons) (type (eql :cancel))
+                                  remaining-segment-requests
+                                  all-segment-requests)
+             (declare (ignore all-segment-requests))
+             (check-type request t)))))
+
 ;;;; success