From d1df2881eaa8f7b27457c8700be480fe01c13ce5 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@cs.indiana.edu>
Date: Tue, 12 Jul 2016 17:58:02 -0400
Subject: [PATCH] Don't try to name casted values in the contract.

Relevant to Racket bug 15323.
---
 typed-racket-lib/typed-racket/base-env/prims-contract.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)))