type
  R = record
    a: Int;
    b: Int
  end

proc f(): Bool
return R(1, 2) = R(1, 2)

begin
  assert(f())
end.