diff --git a/collects/tests/typed-scheme/succeed/star-sizes.ss b/collects/tests/typed-scheme/succeed/star-sizes.ss
new file mode 100644
index 00000000..6d04d748
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/star-sizes.ss
@@ -0,0 +1,6 @@
+#lang typed-scheme
+
+(: f (All (a) ((Integer a * -> Integer) -> Integer)))
+(define (f g) 0)
+
+(f +)
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/unit-tests/infer-tests.ss b/collects/tests/typed-scheme/unit-tests/infer-tests.ss
index 9dc58305..46a30545 100644
--- a/collects/tests/typed-scheme/unit-tests/infer-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/infer-tests.ss
@@ -1,6 +1,6 @@
 #lang scheme/base
 (require "test-utils.ss" (for-syntax scheme/base))
-(require (private planet-requires type-effect-convenience type-rep unify union infer type-utils)
+(require (private planet-requires type-effect-convenience type-rep union infer type-utils)
          (prefix-in table: (private tables)))
 (require (schemeunit))