(*
   Test that the command-line filters make the correct selection of findings.
*)

type a = {
  added_field: int; (* backward incompatibility *)
  changing_type: string;
}

type b = {
  uses_a: a; (* backward and forward incompatibilities *)
}