diff --git a/collects/tests/typed-racket/succeed/pr13185.rkt b/collects/tests/typed-racket/succeed/pr13185.rkt
new file mode 100644
index 00000000..d2f5e60c
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr13185.rkt
@@ -0,0 +1,2 @@
+#lang typed/racket
+(for/vector: : (Vectorof Natural) ([i : Natural (in-range 20)]) i)