From a0c09c19acd919c972aea83424a4863a4eee8ada Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@ccs.neu.edu>
Date: Sun, 6 Dec 2015 12:22:37 -0500
Subject: [PATCH] Add test for 21316e3ebf.

---
 pkgs/racket-test/tests/racket/contract/vector.rkt | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/pkgs/racket-test/tests/racket/contract/vector.rkt b/pkgs/racket-test/tests/racket/contract/vector.rkt
index b1971d94c2..cc61440459 100644
--- a/pkgs/racket-test/tests/racket/contract/vector.rkt
+++ b/pkgs/racket-test/tests/racket/contract/vector.rkt
@@ -127,7 +127,14 @@
                    0 #f)))
   
   (test/pos-blame
-   'vector/c6
+   'vector/c7
    '(contract (vector/c integer? #:immutable #t)
               (vector-immutable #f)
-              'pos 'neg)))
+              'pos 'neg))
+
+  (test/spec-passed/result
+   'vector/immutable-flat
+   '(let ([x (vector-immutable 1 2 3)])
+      (eq? (contract (vectorof integer?) x 'pos 'neg)
+           x))
+   '#true))