diff --git a/lib/Ast.ml b/lib/Ast.ml index 63ac66dcc8..e92822bbb0 100644 --- a/lib/Ast.ml +++ b/lib/Ast.ml @@ -1946,7 +1946,7 @@ end = struct | { ast= {ptyp_desc= Ptyp_poly _; _} ; ctx= Typ {ptyp_desc= Ptyp_arrow _; _} } -> true - | { ast= {ptyp_desc= Ptyp_var (_, _) | Ptyp_any; _} + | { ast= {ptyp_desc= Ptyp_var (_, _); _} ; ctx= Typ {ptyp_desc= Ptyp_constr (_, args); _} } when List.length args > 1 -> (* Type variables and _ do not need parens when they appear as an