fix

zth · zth · commit 0bf1af97d0f0 · 2025-06-02T17:48:34.000+02:00
diff --git a/compiler/ml/typecore.ml b/compiler/ml/typecore.ml
@@ -2653,7 +2653,7 @@ and type_expect_ ~context ?in_function ?(recarg = Rejected) env sexp ty_expected
       }
   | Pexp_record (lid_sexp_list, Some sexp) ->
     assert (lid_sexp_list <> []);
-    let exp = type_expect ~context:None ~recarg env sexp (newvar ()) in
+    let exp = type_exp ~context:None ~recarg env sexp in
     let ty_record, opath =
       let get_path ty =
         try

Original file line number	Diff line number	Diff line change
`@@ -2653,7 +2653,7 @@ and type_expect_ ~context ?in_function ?(recarg = Rejected) env sexp ty_expected`
`2653`	`2653`	`}`
`2654`	`2654`	`\| Pexp_record (lid_sexp_list, Some sexp) ->`
`2655`	`2655`	`assert (lid_sexp_list <> []);`
`2656`		`- let exp = type_expect ~context:None ~recarg env sexp (newvar ()) in`
	`2656`	`+ let exp = type_exp ~context:None ~recarg env sexp in`
`2657`	`2657`	`let ty_record, opath =`
`2658`	`2658`	`let get_path ty =`
`2659`	`2659`	`try`