More robust FILTER-LVAR through CASTs

[sbcl.git] / tests / character.pure.lisp

diff --git a/tests/character.pure.lisp b/tests/character.pure.lisp
index 015d347..95c5833 100644 (file)
--- a/tests/character.pure.lisp
+++ b/tests/character.pure.lisp
@@ -118,3 +118,11 @@
     (assert-coercion (code-char 955) character)
     (assert-coercion 'a character)
     (assert-coercion "a" character)))
+
+(with-test (:name :bug-994487)
+  (let ((f (compile nil `(lambda (char)
+                           (code-char (1+ (char-code char)))))))
+    (assert (equal `(function (t) (values (sb-kernel:character-set
+                                           ((1 . ,(1- char-code-limit))))
+                                          &optional))
+                   (sb-impl::%fun-type f)))))