Just want to be clear here that this version is “only” syntax sugar - actual record definitions are emitted for each nested record. Although syntax certainly would let us make it nested structures for real later on, it’s not in scope (or evaluated/analyzed) for this first version.
2 Likes