type
  R = record
    x: Int;
    x: Int (* @Error Record already has a field named 'x' *)
  end

begin
end.