diff --git a/racket/collects/racket/contract/private/parametric.rkt b/racket/collects/racket/contract/private/parametric.rkt
index 1c1266a084..c789f44c76 100644
--- a/racket/collects/racket/contract/private/parametric.rkt
+++ b/racket/collects/racket/contract/private/parametric.rkt
@@ -16,6 +16,12 @@
                                "expected an identifier"
                                stx
                                x)))
+       (define dup (check-duplicate-identifier (syntax->list #'(x ...))))
+       (when dup (raise-syntax-error
+                  'parametric->/c 
+                  "duplicate identifier"
+                  stx
+                  dup))
        #`(make-polymorphic-contract opaque/c
                                     '(x ...)
                                     (lambda (x ...) c)