tmp/tmpheciyla9/{from.md → to.md}
RENAMED
|
@@ -1,10 +1,10 @@
|
|
| 1 |
### Concept <a id="concept.default.init">[[concept.default.init]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
template<class T>
|
| 5 |
-
|
| 6 |
|
| 7 |
template<class T>
|
| 8 |
concept default_initializable = constructible_from<T> &&
|
| 9 |
requires { T{}; } &&
|
| 10 |
is-default-initializable<T>;
|
|
|
|
| 1 |
### Concept <a id="concept.default.init">[[concept.default.init]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
template<class T>
|
| 5 |
+
constexpr bool is-default-initializable = see below; // exposition only
|
| 6 |
|
| 7 |
template<class T>
|
| 8 |
concept default_initializable = constructible_from<T> &&
|
| 9 |
requires { T{}; } &&
|
| 10 |
is-default-initializable<T>;
|