X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fclos.impure.lisp;h=46a36a8ba82e094a6645a9cd53e972e986680fab;hb=20954a1e7add5779b855d9d6e6444314e77df3f5;hp=a248cdb9c69b1bbbd681a76dc0da6b7a50a7c095;hpb=cccbc9e70fd1c1bacc64b5c77463495192440a66;p=sbcl.git

diff --git a/tests/clos.impure.lisp b/tests/clos.impure.lisp
index a248cdb..46a36a8 100644
--- a/tests/clos.impure.lisp
+++ b/tests/clos.impure.lisp
@@ -1765,4 +1765,16 @@
   (assert (= 42 (slot-value (make-instance 'remove-default-initargs-test)
                             'x))))
 
+(with-test (:name :bug-485019)
+  ;; there was a bug in WALK-SETQ, used in method body walking, in the
+  ;; presence of declarations on symbol macros.
+  (defclass bug-485019 ()
+    ((array :initarg :array)))
+  (defmethod bug-485019 ((bug-485019 bug-485019))
+    (with-slots (array) bug-485019
+      (declare (type (or null simple-array) array))
+      (setf array (make-array 4)))
+    bug-485019)
+  (bug-485019 (make-instance 'bug-485019)))
+
 ;;;; success