diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/parametric.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/parametric.rkt
index 9ef35817ba..888f71d01e 100644
--- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/parametric.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/parametric.rkt
@@ -52,4 +52,14 @@
                (λ (x y) x)
                'pos 'neg)
      1 "foo")
-   1))
\ No newline at end of file
+   1)
+  
+  (test/pos-blame
+   'parametric->/c7
+   '(let* ([c #f]
+           [f (contract
+               (parametric->/c (x) (-> x x))
+               (λ (x) (unless c (set! c x)) c)
+               'pos 'neg)])
+      (f 1)
+      (f 2))))