X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.after-xc.lisp;h=facbda34a3122c3a698959c0759b6d10b48f35d6;hb=HEAD;hp=b63d9440a4ccf33ba5f3bf616559ac1eb7657f65;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git

diff --git a/tests/type.after-xc.lisp b/tests/type.after-xc.lisp
index b63d944..facbda3 100644
--- a/tests/type.after-xc.lisp
+++ b/tests/type.after-xc.lisp
@@ -25,4 +25,8 @@
                                 *empty-type*)))
 (assert (member-type-p (specifier-type '(or float-format null))))
 
+(let ((fd-stream (specifier-type 'fd-stream)))
+  (assert (type= fd-stream (type-intersection (specifier-type 'instance)
+                                              fd-stream))))
+
 (/show "done with tests/type.after-xc.lisp")