Std :: launder в сочетании с reinterpret_cast

Отвечая на вопрос «Диапазон на основе цикла для массивов, выделенных кучей» сегодня, я наткнулся на предложение использовать reinterpret_cast для приведения типа указателя к типу массива с использованием std::launder (после некоторого обсуждения мы решили опубликовать новый вопрос, так как не смогли найти вывода.) . Приведение было выполнено следующим образом (скажем, например, чтобы иметь возможность использовать циклы на основе диапазона для итерации по массиву):

int* ptr = new int[3];
auto arr_ptr = std::launder(reinterpret_cast<int (*)[3]>(ptr));

Я почти уверен, что это UB, но не совсем уверен. Есть ли у кого-нибудь достаточно твердые в C++, чтобы ответить на этот вопрос?

Я думаю, это сводится к вопросу, действителен ли reinterpret_cast при преобразовании от типа ptr к типу массива, который, как мне кажется, является UB, и не имеет никакого отношения к тому, использую ли я std::launder.