Erasure of records
Erasing records into tuples involves transforming record literals into tuples, and record access into tuple access, ensuring that the order of the fields remains consistent.
record(int: foo, float: bar): x = (bar: 1.5, foo: 2);
int: y = x.foo;
Transforms into
tuple(float, int): x = (1.5, 2);
int: y = x.2;