X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Ftype.pure.lisp;h=36019b2355b6f9767f6e3957a52781b12d5ead34;hb=61e6ba93d83266662a1e17431fab02a981ec6bc8;hp=1e0b27a442ce824178fe7365643a32426d65c268;hpb=2e5d4bd590d0603103f7677bcdf7c540469492b5;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index 1e0b27a..36019b2 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -396,3 +396,7 @@ ACTUAL ~D DERIVED ~D~%"
   (let ((bignum1 (+ 12 most-positive-fixnum))
         (bignum2 (- (+ 15 most-positive-fixnum) 3)))
     (assert (eval `(typep ,bignum1 '(member ,bignum2))))))
+
+(with-test (:name :opt+rest+key-canonicalization)
+  (let ((type '(function (&optional t &rest t &key (:x t) (:y t)) *)))
+    (assert (equal type (sb-kernel:type-specifier (sb-kernel:specifier-type type))))))