diff --git a/test/ppx/main.ml b/test/ppx/main.ml index 40d24b4b3..cd7eaf920 100644 --- a/test/ppx/main.ml +++ b/test/ppx/main.ml @@ -181,6 +181,22 @@ let suite = suite "ppx" [ let%lwt _ : _ = Lwt.return 0 in Lwt.return_true ) ; + + (* offband report of bug, doesn't trigger but let's add to the testsuite anyway *) + test "record-field-infer" + (fun () -> + let module M = struct type t = { a : int; b : int } end in + let module MM = struct type t = { a : float; b : char; } end in + let%lwt { a = _; _ } : M.t = Lwt.return { M.a = 0; b = 0 } in + Lwt.return_true + )[@ocaml.warning "-34-69"] ; + test "record-field-infer-brckt" + (fun () -> + let module M = struct type t = { a : int; b : int } end in + let module MM = struct type t = { a : float; b : char; } end in + let%lwt ({ a = _; _ } : M.t) = Lwt.return { M.a = 0; b = 0 } in + Lwt.return_true + )[@ocaml.warning "-34-69"] ; ] let _ = Test.run "ppx" [ suite ]