From 1302188388781fc1198e7bd1de9016ab27888976 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Thu, 12 Mar 2026 16:39:56 +0100 Subject: [PATCH] more ppx test re constraints --- test/ppx/main.ml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) 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 ]