diff --git a/collects/tests/typed-scheme/succeed/infer-funargs.ss b/collects/tests/typed-scheme/succeed/infer-funargs.ss
new file mode 100644
index 00000000..c063ee7c
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/infer-funargs.ss
@@ -0,0 +1,13 @@
+#lang typed-scheme
+
+(define-struct: Environment
+ ((parent : (Option Environment))
+  (bindings : (HashTable Symbol Integer)))
+ #:mutable)
+
+(: make-empty-env (case-lambda [-> Environment]
+                              [Environment -> Environment]))
+(define make-empty-env
+ (case-lambda: [() (make-Environment #f (make-hasheq))]
+               [((parent : Environment)) (make-Environment parent
+(make-hasheq))]))
diff --git a/collects/tests/typed-scheme/succeed/inst-expected.ss b/collects/tests/typed-scheme/succeed/inst-expected.ss
new file mode 100644
index 00000000..73e2c2d8
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/inst-expected.ss
@@ -0,0 +1,7 @@
+#lang typed-scheme
+
+(: id (All (a) (a -> a)))
+(define (id x) x)
+
+(: f (String -> String))
+(define f #{id @ String})