> -- Trurl писал(а):
> b^ - выражение, значением которого является переменная.
Коллега, вы совершенно правы! Так и сказано в Сообщении:
> -- LR писал(а):
> If p designates a pointer, p^ denotes the variable which is referenced by p
Чего не скажешь про b[i] или b.f: результат этих селекторов - "элемент".
Поэтому мой пример, строгости ради, нужно поправить:
> -- Цитата:
> a := b[i] несовместимы по присваиванию, поскольку b[i] не переменная, а выражение

Однако ваш пост помог мне осознать еще одну несостыковку в Сообщении: там неоднократно употребляется понятие variable, а имеется в виду (говорю исходя из "обычаев делового оборота") variable, field или array element, например тут:
> -- LR section 8.1 писал(а):
> Dereferencing is also implied if a pointer is assigned to a variable of a record or array type
и в определении Same type