Ну, для одного есть [basic.lval] /1.2, который упоминает эти контексты
prvalue - это выражение, оценка которого инициализирует объект или битовое поле,или вычисляет значение операнда оператора, как определено контекстом, в котором он появляется.
значения при изменениях в C ++ 17 сами по себе не являются значениями (гарантированное исключение копирования), но скорее сродни «инструкциям» для отложенной инициализации объектов (именованных или временных).Инициализация откладывается на как можно более поздний срок, вот так «удаляются» копии (но я отвлекся).Формулировка «сохраняет в своем контексте» означает, что результатом является то, что эти инструкции производят для инициализации этих объектов в их соответствующих контекстах.