diff --git a/collects/tests/typed-scheme/fail/box-fail.ss b/collects/tests/typed-scheme/fail/box-fail.ss
new file mode 100644
index 00000000..8bf57130
--- /dev/null
+++ b/collects/tests/typed-scheme/fail/box-fail.ss
@@ -0,0 +1,3 @@
+#lang typed-scheme
+
+(let: ([x : (Boxof Number) (box "foo")]) x)
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/succeed/box-num.ss b/collects/tests/typed-scheme/succeed/box-num.ss
new file mode 100644
index 00000000..19250005
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/box-num.ss
@@ -0,0 +1,3 @@
+#lang typed-scheme
+
+(let: ([x : (Boxof Number) (box 1)]) x)
\ No newline at end of file