Update typed-racket-lib/typed-racket/typecheck/tc-structs.rkt

samth · samth · commit d1cddad80aae · 2020-11-19T14:17:10.000-05:00
diff --git a/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt b/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt
@@ -378,7 +378,7 @@
       (values (cons constructor-binding extra-constructor-bindings)
               (append (cons (make-def-struct-stx-binding (struct-names-type-name names)
                                                          si
-                                                         (def-binding-ty constructor-binding))
+                                                         constructor-type)
                             extra-constructor-bindings)
                       bindings))))
 
