TR: better error for invalid super-make-object

original commit: 994648c556e026df55d95bddf017b9a5ce723688

pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt

@@ -1132,8 +1132,13 @@
   (cond [;; too many init arguments, and no init-rest
            (and (not super-init-rest) (> pos-length (length super-inits)))
            (values super-init-rest
-                   (tc-error/expr "too many positional init arguments provided"
-                                  #:return null))]
+                   (tc-error/expr/fields
+                    "invalid `super-make-object' or `super-instantiate'"
+                    #:more "too many positional init arguments provided"
+                    "expected" (length super-inits)
+                    "given" pos-length
+                    #:stx #`(#,@provided-pos-args)
+                    #:return null))]
           [;; no remaining by-name inits, so change the init-rest type
            ;; and return a null remaining named inits list
            (> pos-length (length super-inits))

pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt

@@ -1245,6 +1245,9 @@
                           (init-rest [rst : (List Symbol)])))
              (make-object c% "wrong"))
            #:msg #rx"expected: Symbol.*given: String"]
+   ;; fail, too many positional arguments to superclass
+   [tc-err (class object% (super-make-object "foo"))
+           #:msg #rx"too many positional init arguments"]
    ;; check that case-lambda methods work
    [tc-e (let ()
            (class object%