diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.ss
new file mode 100644
index 00000000..0ff8aedc
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/dotted-identity.ss
@@ -0,0 +1,10 @@
+#lang typed-scheme
+
+(: f (All (a ...) ((a ... a -> Integer) -> (a ... a -> Integer))))
+(define (f x) x)
+
+(: y (Integer Integer -> Integer))
+(define (y a b) (+ a b))
+
+#{(f y) :: (Integer Integer -> Integer)}
+