diff --git a/collects/tests/typed-scheme/succeed/het-vec.ss b/collects/tests/typed-scheme/succeed/het-vec.ss
new file mode 100644
index 0000000000..97e4cf65c4
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/het-vec.ss
@@ -0,0 +1,10 @@
+#lang typed/scheme
+
+(ann (vector-ref #(1 'foo 3) 0) Integer)
+
+(define: x : (Vector Number String Symbol) (vector 1 "foo" 'bar))
+
+(define: y : 2 2)
+
+(ann (vector-ref x 1) String)
+(ann (vector-ref x y) Symbol)
\ No newline at end of file