type t = { a : int; b : int }

let () =
    let value = { a = 1; b = 2} in

    (* This works *)
    let x = match value with | { a; _ } -> a  in print_int x

    (* Changing the above to this fails: *)
    (* let x = match value with | { _; b } -> b  in print_int x *)