7 Concepts library [concepts.lib]

7.3 Core language concepts [concepts.lib.corelang]

7.3.14 Concept DefaultConstructible [concepts.lib.corelang.defaultconstructible]

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