X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fdefstruct.impure.lisp;h=e0ab36ed2dab1d35388d8651681e4fe96656d3dc;hb=007bcd5aac2f3a1e714563bd39f7a2db2d0bf7c2;hp=06a4b47ba70088fc252f9b1cca921197aa365dae;hpb=88dab5bc2cb92077bced88729dc95096b3b6a127;p=sbcl.git

diff --git a/tests/defstruct.impure.lisp b/tests/defstruct.impure.lisp
index 06a4b47..e0ab36e 100644
--- a/tests/defstruct.impure.lisp
+++ b/tests/defstruct.impure.lisp
@@ -1049,3 +1049,15 @@ redefinition."
       (assert (raw-slot/circle-subst-p struct))
       (assert (eql 2.7158911 (raw-slot/circle-subst-x struct)))
       (assert (eql 45 n)))))
+
+(defstruct (bug-3b (:constructor make-bug-3b (&aux slot)))
+  (slot nil :type string))
+
+(with-test (:name :bug-3b)
+  (handler-case
+      (progn
+        (bug-3b-slot (make-bug-3b))
+        (error "fail"))
+    (type-error (e)
+      (assert (eq 'string (type-error-expected-type e)))
+      (assert (zerop (type-error-datum e))))))