diff --git a/collects/tests/typed-scheme/succeed/simple-occurr.ss b/collects/tests/typed-scheme/succeed/simple-occurr.ss
new file mode 100644
index 0000000000..fcfa4850f2
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/simple-occurr.ss
@@ -0,0 +1,8 @@
+#lang typed/scheme
+
+(: x (U #f Number))
+(define x 7)
+
+(if x (add1 x) 7)
+
+(if (number? x) (add1 x) 7)
\ No newline at end of file