diff --git a/typed-racket-lib/typed-racket/private/type-contract.rkt b/typed-racket-lib/typed-racket/private/type-contract.rkt
index 988018b7b..5eae03baa 100644
--- a/typed-racket-lib/typed-racket/private/type-contract.rkt
+++ b/typed-racket-lib/typed-racket/private/type-contract.rkt
@@ -74,6 +74,11 @@
 (module* test-exports #f (provide type->contract has-contract-def-property? make-procedure-arity-flat/sc))
 
 
+(define (foo)
+  (let ([x 1])
+    (+ x x)))
+
+
 (define num-existentials (make-parameter 0))
 ;; has-contrat-def-property? : Syntax -> Boolean
 (define (has-contract-def-property? stx)