(* TEST

flags = "-bin-annot -bin-annot-occurrences";
compile_only = "true";
readonly_files = "index_constrs_records.ml";
setup-ocamlc.byte-build-env;
all_modules = "index_constrs_records.ml";
ocamlc.byte;
check-ocamlc.byte-output;

program = "-quiet -index -decls index_constrs_records.cmt";
output = "out_objinfo";
ocamlobjinfo;

check-program-output;
*)
type l = { lbl : int }
module M : sig
  type t = A of { l_c : int }
end = struct
  type t = A of { l_c : int }
  let _ = A { l_c = 42 }
end

let _ = M.A { l_c = 42 }

open M

let _ = A { l_c = 42 }
let f (A { l_c }) ({ lbl } as l) = l_c + lbl + l.lbl

type u = ..
type u += Ext of { l_ext : int }

let f (x : u) = match x with
  | Ext { l_ext } -> l_ext
  | _ -> assert false

exception Exn of {l_exn : int }

let e = Exn { l_exn = 2}
let _ = match e with
  | Exn { l_exn } -> l_exn
  | _ -> assert false

module Mod = struct
  type t = A of { lbl : int}
end
let () =
  match Mod.A { lbl = 42 } with
  | Mod.A { lbl = 42 } -> ()
  | Mod.A r -> ignore r.lbl