(* Signature tests -- should print type error *)

module A : sig
  type t qualifier A
end = struct
  type t = unit
  let f (x: t) = (x, x)
end

let f (x: A.t) = (x, x)