Явное создание объектов с помощью тривиального конструктора по умолчанию с использованием нового размещения в C++17

Насколько я понимаю, правила о неявном создании объектов с неявным временем жизни применяются только к C++ 20 и новее. Я застрял на C++ 17, поэтому мне было интересно, могу ли я исправить этот пример кода (чтобы он не был UB в C++ 17), добавив новое выражение размещения, которое не инициализирует объект , так:

#include <cstdlib>
#include <new>

struct X { int a, b; };

// I believe writing to the fields of the returned object is UB in C++17, OK in C++20 and later.
X* make_uninitialized_x() {
    auto p = (X*)std::malloc(sizeof(X));
    return p;
}

// Is writing to the fields of the returned object OK in C++17 and earlier?
X* make_uninitialized_x_fixed_for_cpp17() {
    auto p = (X*)std::malloc(sizeof(X));
    new (p) X;  // This gets optimized away with -O1 flag
    return p;
}