Здравствуйте, sergii.p, Вы писали:

R>>Если я правильно понимаю, то согласно 7.2.1/11 это UB.
SP>так попадает же в исключения

SP>

SP>if T_ref is similar ([conv.qual]) to:
SP>- a char, unsigned char, or std​::​byte type.

T_ref не существует. Его сначала надо создать. Через каст не создашь.