diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt b/collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt
index 0336e109..74714405 100644
--- a/collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt
+++ b/collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt
@@ -1,2 +1,4 @@
 (module invalid-vector-ref typed/scheme #:optimize
-  (vector-ref (vector 1 2 3) 0)) ; type is (Vectorof Integer), length is unknown, can't optimize
+  (: f ((Vectorof Integer) -> Integer))
+  (define (f x)
+    (vector-ref x 0))) ; type is (Vectorof Integer), length is unknown, can't optimize
diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt b/collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt
index 91f333c7..b02fbdc0 100644
--- a/collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt
+++ b/collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt
@@ -1,2 +1,4 @@
 (module invalid-vector-set typed/scheme #:optimize
-  (vector-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize
+  (: f ((Vectorof Integer) -> Void))
+  (define (f x)
+    (vector-set! x 0 2))) ; type is (Vectorof Integer), length is ot known, can't optimize
diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt b/collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt
new file mode 100644
index 00000000..434fa07c
--- /dev/null
+++ b/collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt
@@ -0,0 +1,3 @@
+(module vector-ref2 typed/scheme #:optimize
+  (require racket/unsafe/ops)
+  (vector-ref (vector 1 2 3) 0))
diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt b/collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt
new file mode 100644
index 00000000..910575d5
--- /dev/null
+++ b/collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt
@@ -0,0 +1,3 @@
+(module invalid-vector-set typed/scheme #:optimize
+  (require racket/unsafe/ops)
+  (vector-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize