diff --git a/collects/tests/typed-scheme/succeed/typeann-letrec.ss b/collects/tests/typed-scheme/succeed/typeann-letrec.ss
new file mode 100644
index 0000000000..ed6a4d655d
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/typeann-letrec.ss
@@ -0,0 +1,5 @@
+#lang typed-scheme
+
+(letrec-syntaxes+values () ([(#{x : Number}) (values 1)]) #{(vector x) :: (Vectorof Number)})
+(letrec-values ([(#{x : Number}) (values 1)]) #{(vector x) :: (Vectorof Number)})
+(letrec ([#{x : Number} (values 1)]) #{(vector x) :: (Vectorof Number)})
\ No newline at end of file