static_assert(is_trivial_v<T>)
So no this doesn’t solve C++ complexity including the initialization problem.
static_assert(is_trivial_v<T>)