std::default_initializable
Min standard notice:
Header: <concepts>
The default_initializable concept checks whether variables of type T can be
# Declarations
template< class T >
concept default_initializable = std::constructible_from<T> && requires { T{}; } &&
/* T t; is well-formed, see below */;
(since C++20)