diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt
index b43e4c02..d6f28570 100644
--- a/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt
+++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.rkt
@@ -124,7 +124,8 @@
    (FAIL (-poly (a b) (-> a a)) (-poly (a b) (-> a b)))
    
    ;; polymorphic function types should be subtypes of the function top
-   [(-poly (a) (a . -> . a)) top-func]   
+   [(-poly (a) (a . -> . a)) top-func]
+   (FAIL (-> Univ) (null Univ . ->* . Univ))
 
    [(cl->* (-Number . -> . -String) (-Boolean . -> . -String)) ((Un -Boolean -Number) . -> . -String)]
    ))