diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl
index fd240d5bfa..6519140f0c 100644
--- a/collects/tests/racket/contract-test.rktl
+++ b/collects/tests/racket/contract-test.rktl
@@ -5040,7 +5040,22 @@
       1)
    "top-level")
 
+  (test/spec-passed
+   'define/contract
+   '(let ()
+      (define/contract (f x #:y [y 3])
+        (->* (integer?) (#:y integer?) integer?)
+        x)
+      (f 3 #:y 7)))
 
+  (test/spec-failed
+   'define/contract
+   '(let ()
+      (define/contract (f x #:y [y 3])
+        (->* (integer?) (#:y integer?) integer?)
+        x)
+      (f 3 #:y #f))
+   "top-level")
 
 ;
 ;