diff --git a/collects/tests/typed-scheme/unit-tests/all-tests.ss b/collects/tests/typed-scheme/unit-tests/all-tests.ss
index c32dbfea30..32f70592d1 100644
--- a/collects/tests/typed-scheme/unit-tests/all-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/all-tests.ss
@@ -4,7 +4,7 @@
  "test-utils.ss"
  "planet-requires.ss"
  ;"typecheck-tests.ss" ;; doesn't compile yet
- "subtype-tests.ss" ;; fail
+ "subtype-tests.ss" ;; pass
  "type-equal-tests.ss" ;; pass
  "remove-intersect-tests.ss" ;; pass
  "parse-type-tests.ss" ;; pass
diff --git a/collects/tests/typed-scheme/unit-tests/type-annotation-test.ss b/collects/tests/typed-scheme/unit-tests/type-annotation-test.ss
index c228501b60..12992f649c 100644
--- a/collects/tests/typed-scheme/unit-tests/type-annotation-test.ss
+++ b/collects/tests/typed-scheme/unit-tests/type-annotation-test.ss
@@ -1,7 +1,7 @@
 #lang scheme/base
 (require "test-utils.ss" "planet-requires.ss"
          (for-syntax scheme/base))
-(require (private type-annotation parse-type)
+(require (private type-annotation parse-type base-types)
          (types convenience)
 	 (env type-environments type-name-env init-envs)
 	 (utils tc-utils)
@@ -18,6 +18,7 @@
                                           (namespace-attach-module ons 'scheme/base ns)
                                           (namespace-require 'scheme/base)
                                           (namespace-require 'typed-scheme/private/prims)
+                                          (namespace-require 'typed-scheme/private/base-types)
                                           (expand 'ann-stx))))
                      ty))