I need to use a traits function that deduces if a type can be aggregate initialized from given arguments. Typically it is like std::is_constructible, but uses a
std::is_constructible