18 Concepts library [concepts]

18.4 Language-related concepts [concepts.lang]

18.4.12 Concept DefaultConstructible [concept.defaultconstructible]

template<class T> concept DefaultConstructible = Constructible<T>;