diff --git a/collects/tests/typed-scheme/succeed/list-dots.rkt b/collects/tests/typed-scheme/succeed/list-dots.rkt
new file mode 100644
index 0000000000..5ad1d38fb1
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/list-dots.rkt
@@ -0,0 +1,6 @@
+#lang typed/racket
+
+(: f (All (a ...) ((List a ...) -> (List a ... a))))
+(define (f x) x)
+
+(ann (values (inst f String Number Boolean)) String)