type
  A = record(B)
    x: Int
  end
  B = record(A) (* @Error Type declaration forms a cycle: A -> B -> A *)
    y: Int
  end

var
  v: A

begin
end.