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 610704cd90..6f4a0c3846 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
@@ -443,6 +443,12 @@
       (: m (-> Integer))
       (define/public (m) (x))))
 
+   ;; fails, ill-typed private method implementation
+   (check-err
+    (class: object% (super-new)
+      (: x (-> Integer))
+      (define/private (x) "bad result")))
+
    ;; test optional init arg
    (check-ok
     (: c% (Class (init [x Integer #:optional])))