16.6.2 Область действия записи

Идентификаторы, определенные внутри поля записи, действительны в следующих местах:

1.До конца определения записи.

2.Поле с указанием (designators) переменной записи данного типа.

3.Идентификаторы внутри оператора with , который работает на переменную записи данного типа.