diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
index 3fc04615..12458e60 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/contract-tests.rkt
@@ -127,4 +127,20 @@
               (t-sc (-lst Univ) (listof/sc any-wrap/sc))
               (t-sc (Un (-lst Univ) -Number) (or/sc number/sc (listof/sc any-wrap/sc)))
 
+              ;; classes
+              (t-sc (-class) (class/sc null #f null null))
+              (t-sc (-class #:init ([x -Number #f] [y -Number #f]))
+                    (class/sc (list (member-spec 'init 'x number/sc)
+                                    (member-spec 'init 'y number/sc))
+                              #f null null))
+              (t-sc (-class #:init ([x -Number #f] [y -Number #t]))
+                    (class/sc (list (member-spec 'init 'x number/sc)
+                                    (member-spec 'init 'y number/sc))
+                              #f null null))
+              (t-sc (-class #:init ([x -Number #f]) #:init-field ([y -Integer #f]))
+                    (class/sc (list (member-spec 'init 'x number/sc)
+                                    (member-spec 'init 'y integer/sc)
+                                    (member-spec 'field 'y integer/sc)
+                                    (member-spec 'inherit-field 'y integer/sc))
+                              #f null null))
               ))