diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl
index bcf17e0674..4bc8bcde65 100644
--- a/collects/tests/racket/contract-test.rktl
+++ b/collects/tests/racket/contract-test.rktl
@@ -13698,18 +13698,23 @@ so that propagation occurs.
                       (racket/contract:positive-position b)))
   (test-obligations '(box/c a)
                     '((racket/contract:contract (box/c) ())
+                      (racket/contract:negative-position a)
                       (racket/contract:positive-position a)))
   (test-obligations '(box-immutable/c a)
                     '((racket/contract:contract (box-immutable/c) ())
                       (racket/contract:positive-position a)))
   (test-obligations '(vectorof a)
                     '((racket/contract:contract (vectorof) ())
+                      (racket/contract:negative-position a)
                       (racket/contract:positive-position a)))
   (test-obligations '(vector-immutableof a)
                     '((racket/contract:contract (vector-immutableof) ())
                       (racket/contract:positive-position a)))
   (test-obligations '(vector/c a b c)
                     '((racket/contract:contract (vector/c) ())
+                      (racket/contract:negative-position a)
+                      (racket/contract:negative-position b)
+                      (racket/contract:negative-position c)
                       (racket/contract:positive-position a)
                       (racket/contract:positive-position b)
                       (racket/contract:positive-position c)))