1 files changed, 7 insertions, 0 deletions
diff --git a/tests/constraint.pure.lisp b/tests/constraint.pure.lisp
index 350f09d7a..5f3ca3935 100644
--- a/tests/constraint.pure.lisp
+++ b/tests/constraint.pure.lisp
@@ -1775,3 +1775,10 @@
                m))
          t))
    (eql t)))
+
+(with-test (:name :multiple-back)
+  (assert-type
+   (lambda (m)
+     (the (integer 0 30) (+ (* m 2) 2))
+     m)
+   (rational -1 14)))