diff --git a/racket/typed/tests/floating-define.rkt b/racket/typed/tests/floating-define.rkt
new file mode 100644
index 0000000..e93a5d9
--- /dev/null
+++ b/racket/typed/tests/floating-define.rkt
@@ -0,0 +1,9 @@
+#lang typed/syndicate/roles
+
+(require rackunit/turnstile)
+
+;; TODO - currently fails with a racket error. Is that OK?
+;; (ideally, this would fail with a better error message)
+(typecheck-fail
+ (let ([x (define y 5)])
+   (add1 1)))