diff --git a/collects/tests/typed-scheme/succeed/dotted-identity.ss b/collects/tests/typed-scheme/succeed/dotted-identity.ss
index 7ea9391d1f..df07474f0a 100644
--- a/collects/tests/typed-scheme/succeed/dotted-identity.ss
+++ b/collects/tests/typed-scheme/succeed/dotted-identity.ss
@@ -12,5 +12,12 @@
 (define (z . xs) (apply + xs))
 
 ((f z) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18)
-#;
-#{(f z) :: (Integer * -> Integer)}
\ No newline at end of file
+
+#; #{(f z) :: (Integer * -> Integer)}
+
+;; I don't believe the below should work, but it points out where that internal error is coming from.
+
+(: g (All (b ...) ( -> (b ... b -> Integer))))
+(define (g) (lambda xs 0))
+
+(f (g))
\ No newline at end of file