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

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

так попадает же в исключения

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

std::array< std::byte, std::max( sizeof(T), sizeof(void_ptr_t) ) > _content;