Как концепция тривиальной перемещаемости из C++26 меняет наши представления о категориях значений? Взаимодействуют ли они вообще (например, правила временной материализации)? Например, если у меня есть переменная (то есть lvalue) для тривиально перемещаемого типа и я перемещаю значение куда-то, создает ли она значение prvalue вместо значения x? Станет ли UB использовать указатель на перенесенное значение?
Подробнее здесь: https://stackoverflow.com/questions/798 ... le-if-elig
