diff --git a/racket/typed/tests/endpoint-effects-branch.rkt b/racket/typed/tests/endpoint-effects-branch.rkt
new file mode 100644
index 0000000..0e3e28c
--- /dev/null
+++ b/racket/typed/tests/endpoint-effects-branch.rkt
@@ -0,0 +1,7 @@
+#lang typed/syndicate
+
+(lambda ()
+  (start-facet x
+    (if #f
+        (assert (tuple 0))
+        (assert (tuple 1)))))