diff --git a/racket/collects/racket/match/gen-match.rkt b/racket/collects/racket/match/gen-match.rkt
index 38cc5f0e99..4388df4e19 100644
--- a/racket/collects/racket/match/gen-match.rkt
+++ b/racket/collects/racket/match/gen-match.rkt
@@ -80,6 +80,9 @@
        (syntax-property
         (quasisyntax/loc stx
           (let ([xs exprs*] ...)
-            (define (outer-fail) raise-error)
-            body))
+            (let ([outer-fail
+                   #,(syntax-property
+                      #'(λ () raise-error)
+                      'typechecker:called-in-tail-position #t)])
+              body)))
         'feature-profile:pattern-matching #t)])))