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.