diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
index e98e6182..ed499071 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt
@@ -159,6 +159,12 @@
   (parameterize ([current-orig-stx form])
     (syntax-parse form
       #:literal-sets (kernel-literals)
+      ;; need to special case this
+      ;; FIXME: is there a better way?
+      [stx
+       #:when (syntax-property form 'tr:class)
+       (tc-expr #'stx)]
+
       ;; these forms we have been instructed to ignore
       [stx:ignore^
        (void)]