diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
index 7d7ccd5c..096f3f41 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
@@ -565,7 +565,9 @@
     (for/list ([f (in-set names)])
       (define pre-type (dict-ref type-map f #f))
       (define maybe-type (if (pair? pre-type) (car pre-type) pre-type))
-      (or (and maybe-type (fixup-method-type maybe-type self-type))
+      (or (and maybe-type
+               (not (equal? maybe-type top-func))
+               (fixup-method-type maybe-type self-type))
           (make-Univ))))
 
   (define private-method-types
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt
index 91c3bd6f..a3a6a4d2 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt
@@ -1044,5 +1044,11 @@
      (: c% (Class (field [x String])))
      (define c%
        (class object% (super-new)
-         (field [x : Integer 5]))))))
+         (field [x : Integer 5]))))
+
+   ;; fails, but make sure it's not an internal error
+   (check-err #:exn #rx"Cannot apply expression of type Any"
+     (class object% (super-new)
+            (define/pubment (foo x) 0)
+            (define/public (g x) (foo 3))))))