diff --git a/pkgs/racket-test/tests/racket/contract/vector.rkt b/pkgs/racket-test/tests/racket/contract/vector.rkt index 7b94c6007f..9795638e93 100644 --- a/pkgs/racket-test/tests/racket/contract/vector.rkt +++ b/pkgs/racket-test/tests/racket/contract/vector.rkt @@ -173,4 +173,13 @@ (test/pos-blame 'vectorof/mutable-higher-order '(contract (vectorof (-> integer? integer?) #:immutable #f) (vector-immutable add1) 'pos 'neg)) + + (test/pos-blame + 'vectorof-or/c-first-order-fail + '(contract (or/c (vectorof integer?) (vectorof string?)) (vector 'bad) 'pos 'neg)) + + (test/spec-passed + 'vectorof-or/c-first-order-pass + '(contract (or/c (vectorof integer?) (vectorof string?)) (vector 1) 'pos 'neg)) + )