diff --git a/racket/collects/racket/contract/private/arr-i.rkt b/racket/collects/racket/contract/private/arr-i.rkt
index a69dfcdd42..e4dd1363b9 100644
--- a/racket/collects/racket/contract/private/arr-i.rkt
+++ b/racket/collects/racket/contract/private/arr-i.rkt
@@ -1244,6 +1244,7 @@ evaluted left-to-right.)
                             (gensym '->i-indy-boundary)))
                          #`(λ (#,@orig-vars)
                              (define the-contract #,ctc-stx)
+                             #,@(arg/res-vars arg) ;; needed for check syntax arrows
                              (λ (val blame neg-party indy-blame?)
                                ;; this used to use opt/direct, but
                                ;; opt/direct duplicates code (bad!)
@@ -1282,6 +1283,7 @@ evaluted left-to-right.)
                                          (opt/c #,arg-stx))
                                      #`(λ (#,@orig-vars)
                                          (define the-contract #,arg-stx)
+                                         #,@(arg/res-vars arg) ;; needed for check syntax arrows
                                          (λ (val blame neg-party indy-blame?)
                                            ;; this used to use opt/direct, but
                                            ;; opt/direct duplicates code (bad!)