type
  A = record (* @Error Type declaration forms a cycle: A -> A *)
    field: A
  end
end.