diff --git a/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt
new file mode 100644
index 0000000000..e9f58d5d84
--- /dev/null
+++ b/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt
@@ -0,0 +1,6 @@
+#lang typed/scheme #:optimize
+
+(require racket/unsafe/ops)
+
+(let ((x (+ 1.0 2.0)))
+  x)
diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt
new file mode 100644
index 0000000000..c4d25e28a6
--- /dev/null
+++ b/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt
@@ -0,0 +1,6 @@
+#lang typed/scheme #:optimize
+
+(require racket/unsafe/ops)
+
+(let ((x (unsafe-fl+ 1.0 2.0)))
+  x)
diff --git a/collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt
new file mode 100644
index 0000000000..93a4278e62
--- /dev/null
+++ b/collects/tests/typed-scheme/optimizer/non-optimized/let-rhs.rkt
@@ -0,0 +1,6 @@
+#lang typed/scheme
+
+(require racket/unsafe/ops)
+
+(let ((x (+ 1.0 2.0)))
+  x)