16.6.2 Record scope

The field identifiers inside a record definition are valid in the following places:

  1. To the end of the record definition.
  2. Field designators of a variable of the given record type.
  3. Identifiers inside a With statement that operates on a variable of the given record type.