remove newly redundant parens

Signed-off-by: David Vulakh <[email protected]>

lib/Ast.ml

@@ -1957,8 +1957,13 @@ end = struct
     | { ast= {ptyp_desc= Ptyp_poly _; _}
       ; ctx= Typ {ptyp_desc= Ptyp_arrow _; _} } ->
         true
-    | {ast= {ptyp_desc= Ptyp_var (_, l); _}; ctx= _} when Option.is_some l ->
-        true
+    | {ast= {ptyp_desc= Ptyp_var (_, l); _}; ctx} when Option.is_some l -> (
+      match ctx with
+      | Typ {ptyp_desc= Ptyp_constr (_, _ :: _ :: _); _} ->
+          (* annotations on one of multiple arguments to a type do not
+             warrant parens *)
+          false
+      | _ -> true )
     | { ast= {ptyp_desc= Ptyp_tuple ((Some _, _) :: _); _}
       ; ctx= Typ {ptyp_desc= Ptyp_arrow (args, _, _); _} }
       when List.exists args ~f:(fun arg -> arg.pap_type == typ) ->

test/passing/tests/layout_annotation-erased.ml.js-ref

@@ -63,19 +63,12 @@ let f : (_ : immediate) -> unit = fun _ -> ()
 let g : (_ : value) -> unit = fun _ -> ()
 let f : (_ : immediate) -> (_ : value) = fun _ -> assert false
 let g : (_ : value) -> (_ : immediate) = fun _ -> assert false
-let f : ((_ : any), _) t = ()
-let g : (_, (_ : any)) t = ()
-let f : ((_ : any), _) t -> t = ()
-let g : (_, (_ : any)) t -> t = ()
-
-let f
-  :  (_, (_ : any), (_ : any), (_ : any), (_ : any), (_ : any), (_ : any), (_ : any)) t
-  -> t
-  =
-  ()
-;;
-
-let g : (_, _, _, _, _, _, _, _, (_ : any)) t -> t = ()
+let f : (_ : any, _) t = ()
+let g : (_, _ : any) t = ()
+let f : (_ : any, _) t -> t = ()
+let g : (_, _ : any) t -> t = ()
+let f : (_, _ : any, _ : any, _ : any, _ : any, _ : any, _ : any, _ : any) t -> t = ()
+let g : (_, _, _, _, _, _, _, _, _ : any) t -> t = ()
 
 (********************************************)
 (* Test 3: Annotation on types in functions *)
@@ -211,7 +204,7 @@ let f_val : ('a : value). 'a -> 'a = fun x -> f_imm x
 
 type (_ : value) g = MkG : ('a : immediate). 'a g
 type t = int as (_ : immediate)
-type t = (('a : value), ('b : value)) t2
+type t = ('a : value, 'b : value) t2
 type ('a, 'b) t = ('a : value) * ('b : value)
 
 class c : object

test/passing/tests/layout_annotation.ml.js-ref

@@ -63,19 +63,12 @@ let f : (_ : immediate) -> unit = fun _ -> ()
 let g : (_ : value) -> unit = fun _ -> ()
 let f : (_ : immediate) -> (_ : value) = fun _ -> assert false
 let g : (_ : value) -> (_ : immediate) = fun _ -> assert false
-let f : ((_ : any), _) t = ()
-let g : (_, (_ : any)) t = ()
-let f : ((_ : any), _) t -> t = ()
-let g : (_, (_ : any)) t -> t = ()
-
-let f
-  :  (_, (_ : any), (_ : any), (_ : any), (_ : any), (_ : any), (_ : any), (_ : any)) t
-  -> t
-  =
-  ()
-;;
-
-let g : (_, _, _, _, _, _, _, _, (_ : any)) t -> t = ()
+let f : (_ : any, _) t = ()
+let g : (_, _ : any) t = ()
+let f : (_ : any, _) t -> t = ()
+let g : (_, _ : any) t -> t = ()
+let f : (_, _ : any, _ : any, _ : any, _ : any, _ : any, _ : any, _ : any) t -> t = ()
+let g : (_, _, _, _, _, _, _, _, _ : any) t -> t = ()
 
 (********************************************)
 (* Test 3: Annotation on types in functions *)
@@ -211,7 +204,7 @@ let f_val : ('a : value). 'a -> 'a = fun x -> f_imm x
 
 type (_ : value) g = MkG : ('a : immediate). 'a g
 type t = int as (_ : immediate)
-type t = (('a : value), ('b : value)) t2
+type t = ('a : value, 'b : value) t2
 type ('a, 'b) t = ('a : value) * ('b : value)
 
 class c : object

test/passing/tests/layout_annotation.ml.ref

@@ -96,28 +96,20 @@ let f : (_ : immediate) -> (_ : value) = fun _ -> assert false
 
 let g : (_ : value) -> (_ : immediate) = fun _ -> assert false
 
-let f : ((_ : any), _) t = ()
+let f : (_ : any, _) t = ()
 
-let g : (_, (_ : any)) t = ()
+let g : (_, _ : any) t = ()
 
-let f : ((_ : any), _) t -> t = ()
+let f : (_ : any, _) t -> t = ()
 
-let g : (_, (_ : any)) t -> t = ()
+let g : (_, _ : any) t -> t = ()
 
 let f :
-       ( _
-       , (_ : any)
-       , (_ : any)
-       , (_ : any)
-       , (_ : any)
-       , (_ : any)
-       , (_ : any)
-       , (_ : any) )
-       t
-    -> t =
+    (_, _ : any, _ : any, _ : any, _ : any, _ : any, _ : any, _ : any) t -> t
+    =
   ()
 
-let g : (_, _, _, _, _, _, _, _, (_ : any)) t -> t = ()
+let g : (_, _, _, _, _, _, _, _, _ : any) t -> t = ()
 
 (********************************************)
 (* Test 3: Annotation on types in functions *)
@@ -275,7 +267,7 @@ type (_ : value) g = MkG : ('a : immediate). 'a g
 
 type t = int as (_ : immediate)
 
-type t = (('a : value), ('b : value)) t2
+type t = ('a : value, 'b : value) t2
 
 type ('a, 'b) t = ('a : value) * ('b : value)