X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Falien.impure.lisp;fp=tests%2Falien.impure.lisp;h=d60bd102043935b3bc7655c2c6246f1bfbc82d4a;hb=bb3994fcc9a556d1a26d35f6ff9386d01030821d;hp=e68737c70df4e0a27559a0bd2cc489af17c20a29;hpb=4078d29d83e45a0b059ca5a71877ec36a4174a01;p=sbcl.git

diff --git a/tests/alien.impure.lisp b/tests/alien.impure.lisp
index e68737c..d60bd10 100644
--- a/tests/alien.impure.lisp
+++ b/tests/alien.impure.lisp
@@ -307,4 +307,16 @@
     (compiler-note (n)
       (error n))))
 
+(with-test (:name :bug-721087)
+  (assert (typep nil '(alien c-string)))
+  (assert (not (typep nil '(alien (c-string :not-null t)))))
+  (assert (eq :ok
+              (handler-case
+                  (posix-getenv nil)
+                (type-error (e)
+                  (when (and (null (type-error-datum e))
+                             (equal (type-error-expected-type e)
+                                    '(alien (c-string :not-null t))))
+                    :ok))))))
+
 ;;; success