Always populate type table, regardless of optimizer status.

Closes #343.

typed-racket-lib/typed-racket/types/type-table.rkt

@@ -69,8 +69,7 @@
                old)
            (tooltip (cons e seen) t)))
      (tooltip (list e) t)))
-  (when (optimize?)
-    (hash-update! type-table e (combine t) t)))
+  (hash-update! type-table e (combine t) t))
 
 ;; when typechecking a case-> type, types get added for
 ;; the same subexpression multiple times, combine them

typed-racket-test/succeed/gh-issue-343.rkt

@@ -0,0 +1,9 @@
+#lang typed/racket/base #:no-optimize
+(require typed/racket/class)
+
+(define c%
+  (class object%
+    (init-field val)
+    (super-new)))
+
+(instantiate c% (3))