(* TEST
   flags = " -short-paths "
   * toplevel
*)

module rec A : sig
 type t
end = struct
 type t = { a : unit; b : unit }
 let _ = { a = () }
end
;;