diff --git a/pkgs/racket-test/tests/match/examples.rkt b/pkgs/racket-test/tests/match/examples.rkt
index e9a0c97921..22cbee956e 100644
--- a/pkgs/racket-test/tests/match/examples.rkt
+++ b/pkgs/racket-test/tests/match/examples.rkt
@@ -801,5 +801,13 @@
      (check-equal? (match 42
                      [(foo) x])
                    42))
+
+   (test-case "ordering"
+     (define b (box #t))
+     (check-equal?
+      (match b
+        [(and x (? (λ _ (set-box! b #f))) (app unbox #f)) 'yes]
+        [_ 'no])
+      'yes))
    
 ))