X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Ftype.pure.lisp;h=3c42e2d4550b30a5e5092a23805a92e3ec6f6a3b;hb=dc47746daf73c65126a80b723ad52b8327b06960;hp=05e7a30e4278de95834743b9178ed006d913cce3;hpb=0aecc2b20142e08068c3434273500131cb13fe2d;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index 05e7a30..3c42e2d 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -294,9 +294,13 @@ ACTUAL ~D DERIVED ~D~%"
     (subtypep 'generic-function 'function)
   (assert yes)
   (assert win))
-;; this would be in some internal test suite like type.before-xc.lisp
-;; except that generic functions don't exist at that stage.
+;;; this would be in some internal test suite like type.before-xc.lisp
+;;; except that generic functions don't exist at that stage.
 (multiple-value-bind (yes win)
     (subtypep 'generic-function 'sb-kernel:funcallable-instance)
   (assert yes)
   (assert win))
+
+;;; all sorts of answers are right for this one, but it used to
+;;; trigger an AVER instead.
+(subtypep '(function ()) '(and (function ()) (satisfies identity)))