Closed edsko closed 3 weeks ago
This makes it possible to support OverloadedRecordDot and OverloadedRecordUpdate.
OverloadedRecordDot
OverloadedRecordUpdate
Marked as draft pending discussion of the cost/benefit of the Proto wrapper.
Proto
This makes it possible to support
OverloadedRecordDot
andOverloadedRecordUpdate
.