diff --git a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt
index 8807b3d4..42f8bc59 100644
--- a/typed-racket-lib/typed-racket/base-env/prims-contract.rkt
+++ b/typed-racket-lib/typed-racket/base-env/prims-contract.rkt
@@ -330,7 +330,7 @@
                        val
                        '#,pos
                        '#,neg
-                       val
+                       #f
                        (quote-srcloc #,stx)))
                     'feature-profile:TR-dynamic-check #t))
              #'ty)))