Improve test for inline record in extension constructor.

Author: clef-men

testsuite/tests/atomic-locs/record_fields.ml

@@ -177,6 +177,8 @@ module Extension_with_inline_record = struct
   let test : t -> int = function
     | A r -> r.x
     | _ -> 0
+
+  let () = assert (test (A { x = 42 }) = 42)
 end
 [%%expect{|
 (apply (field_mut 1 (global Toploop!)) "Extension_with_inline_record/378"
@@ -185,7 +187,10 @@ end
        (makeblock 248 "Extension_with_inline_record.A" (caml_fresh_oo_id 0))
      test =
        (function param : int
-         (if (== (field_imm 0 param) A) (atomic_load param 1) 0)))
+         (if (== (field_imm 0 param) A) (atomic_load param 1) 0))
+     *match* =
+       (if (== (apply test (makemutable 0 (*,int) A 42)) 42) 0
+         (raise (makeblock 0 (global Assert_failure!) [0: "" 11 11]))))
     (makeblock 0 A test)))
 module Extension_with_inline_record :
   sig
@@ -205,7 +210,7 @@ module Float_records = struct
   let get v = v.y
 end
 [%%expect{|
-(apply (field_mut 1 (global Toploop!)) "Float_records/390"
+(apply (field_mut 1 (global Toploop!)) "Float_records/393"
   (let
     (mk_t = (function x[float] y[float] (makemutable 0 (float,float) x y))
      get = (function v : float (atomic_load v 1)))