fix: record constraint pattern (#2725)

undefined

CHANGES.md

@@ -2,6 +2,8 @@
 
 - Print structure items extension nodes correctly inside modules (@anmonteiro,
   [#2723](https://github.com/reasonml/reason/pull/2723))
+- Print wrapped type constraint on record patterns (@anmonteiro,
+  [#2725](https://github.com/reasonml/reason/pull/2725))
 
 ## 3.10.0
 

src/reason-parser/reason_pprint_ast.ml

@@ -5760,7 +5760,16 @@ let printer = object(self:'self)
           (* works with module prefix too: {ReasonReact.state: state as prevState} becomes {ReasonReact.state as prevState *)
             makeList ~sep:(Sep " ") [self#longident_loc li; atom "as"; atom aliasIdent]
         | _ ->
-            label ~space:true (makeList [self#longident_loc li; atom ":"]) (self#pattern p)
+            let pattern =
+              let formatted = self#pattern p in
+              let wrap =
+                match p.ppat_desc with
+                | Ppat_constraint (_, _) -> Some("(", ")")
+                | _ -> None
+              in
+              makeList ~inline:(true, true) ?wrap [ formatted ]
+            in
+            label ~space:true (makeList [self#longident_loc li; atom ":"]) pattern
     in
     let rows = (List.map longident_x_pattern l)@(
       match closed with

test/wrapping-re.t/input.re

@@ -1486,7 +1486,7 @@ let funcOnSomeRecord
 
 /* With two args */
 let funcOnSomeConstructorHi
-    (SomeConstructorHi(x,y), secondArg) = 
+    (SomeConstructorHi(x,y), secondArg) =
   x + y;
 
 let funcOnSomeRecord
@@ -1982,3 +1982,6 @@ fooSpreadES6List([
   "more tests",
   ...x
 ]);
+
+let { foo: (_: int), } = 2;
+

test/wrapping-re.t/run.t

@@ -2904,3 +2904,5 @@ Format wrapping in .re files
     "more tests",
     ...x,
   ]);
+
+  let {foo: (_: int)} = 2;