Upgrade vendored typer

src/analysis/context.ml

@@ -66,7 +66,8 @@ let cursor_on_longident_end ~cursor:cursor_pos
       (* FIXME: this is britle, but lids don't have precise enough location
          information to handle these cases correctly. *)
       let name_lenght = String.length name in
-      if Pprintast.needs_parens name then name_lenght + 2 else name_lenght
+      if Pprintast.needs_parens ~kind:Other name then name_lenght + 2
+      else name_lenght
     in
     let constr_pos =
       { loc.loc_end with pos_cnum = end_offset - cstr_name_size }

src/analysis/occurrences.ml

@@ -31,7 +31,7 @@ let last_loc (loc : Location.t) lid =
   | Longident.Lident _ -> loc
   | _ ->
     let last_segment = Longident.last lid in
-    let needs_parens = Pprintast.needs_parens last_segment in
+    let needs_parens = Pprintast.needs_parens ~kind:Other last_segment in
     if not needs_parens then
       let last_size = last_segment |> String.length in
       { loc with

src/analysis/type_utils.ml

@@ -113,7 +113,8 @@ module Printtyp = struct
   let expand_sig env mty = Env.with_cmis @@ fun () -> Env.scrape_alias env mty
 
   let verbose_type_scheme env ppf t =
-    Printtyp.type_scheme ppf (expand_type env t)
+    let t = expand_type env t in
+    Printtyp.type_scheme ppf t
 
   let verbose_type_declaration env id ppf t =
     Printtyp.type_declaration id ppf (expand_type_decl env t)