cpp/experimental/ranges/concepts/DefaultConstructible

The concept provides a shorthand for the common case when the question is whether a type can be constructed with no arguments.