diff --git a/collects/typed-racket/typecheck/tc-toplevel.rkt b/collects/typed-racket/typecheck/tc-toplevel.rkt
index ee052c95..d596410c 100644
--- a/collects/typed-racket/typecheck/tc-toplevel.rkt
+++ b/collects/typed-racket/typecheck/tc-toplevel.rkt
@@ -186,6 +186,11 @@
        (syntax-property form 'typechecker:ignore)
        (void)]
 
+      ;; this is a form that we mostly ignore, but we check some interior parts
+      [stx
+       (syntax-property form 'typechecker:ignore-some)
+       (check-subforms/ignore form)]
+
       ;; these forms should always be ignored
       [(#%require . _) (void)]
       [(#%provide . _) (void)]