Defined in header
DefaultConstructible concept provides a shorthand for the common case when the question is whether a type can be constructed with no arguments.
 See also
| specifies that a variable of the type can be constructed from or bound to a set of argument types |
| checks if a type has a default constructor |