fix

zth · zth · commit 3dff296f8e64 · 2025-05-26T14:08:01.000+02:00
diff --git a/compiler/ml/typecore.ml b/compiler/ml/typecore.ml
@@ -2649,7 +2649,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
`@@ -2649,7 +2649,7 @@ and type_expect_ ~context ?in_function ?(recarg = Rejected) env sexp ty_expected`
`2649`	`2649`	`}`
`2650`	`2650`	`\| Pexp_record (lid_sexp_list, Some sexp) ->`
`2651`	`2651`	`assert (lid_sexp_list <> []);`
`2652`		`- let exp = type_expect ~context:None ~recarg env sexp (newvar ()) in`
	`2652`	`+ let exp = type_exp ~context:None ~recarg env sexp in`
`2653`	`2653`	`let ty_record, opath =`
`2654`	`2654`	`let get_path ty =`
`2655`	`2655`	`try`