diff --git a/test/ci/front-end/binders_typing.rav b/test/ci/front-end/binders_typing.rav
new file mode 100644
index 0000000..418a3e9
--- /dev/null
+++ b/test/ci/front-end/binders_typing.rav
@@ -0,0 +1,3 @@
+func t() returns (ret:Bool) {
+  (forall x: Int :: true) && true
+}
\ No newline at end of file
diff --git a/test/ci/front-end/binders_typing.t b/test/ci/front-end/binders_typing.t
new file mode 100644
index 0000000..c12c965
--- /dev/null
+++ b/test/ci/front-end/binders_typing.t
@@ -0,0 +1,2 @@
+  $ dune exec -- raven --shh ./binders_typing.rav
+  Verification successful.