diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
index 2c4ca98c6e..083c8f2438 100644
--- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
@@ -19,6 +19,23 @@
    'box/c3
    '(contract (box/c integer?) (box-immutable #f) 'pos 'neg))
   
+  (test/pos-blame
+   'box/c4
+   '(contract (box/c integer? #:immutable #t) (box-immutable #f) 'pos 'neg))
+  
+  (test/spec-passed
+   'box/c5
+   '(contract (box/c boolean? #:immutable #t) (box-immutable #f) 'pos 'neg))
+  
+  (test/neg-blame
+   'box/c6
+   '(set-box! (contract (box/c boolean?) (box #f) 'pos 'neg) 11))
+  
+  (test/neg-blame
+   'box/c7
+   '(set-box! (contract (box/c boolean?) (box 12) 'pos 'neg) 11))
+  
+  
   (test/neg-blame
    'box/c-with-cons/c-inside
    '(let ([f