12.4.2 Record scope

The eld identiers inside a record denition are valid in the following places:

1. to the end of the record denition.
2. eld designators of a variable of the given record type.
3. identiers inside a With statement that operates on a variable of the given record type.