UPGRADED-ARRAY-ELEMENT-TYPE: more thoroughly signal errors on unknown types.

[sbcl.git] / tests / type.after-xc.lisp

diff --git a/tests/type.after-xc.lisp b/tests/type.after-xc.lisp
index b63d944..facbda3 100644 (file)
--- 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")