(* TEST
   flags="-annot"
   modules="a.ml"
 *)

(* Test interference between inline record path
   [a.A] and the [a.ml] compilation unit *)
type 'x a = A of { x: int }
let v = A { x = 0 }