tmp/tmpreeq4ur3/{from.md → to.md}
RENAMED
|
@@ -1,12 +1,12 @@
|
|
| 1 |
### Concept <a id="concept.common">[[concept.common]]</a>
|
| 2 |
|
| 3 |
If `T` and `U` can both be explicitly converted to some third type, `C`,
|
| 4 |
then `T` and `U` share a *common type*, `C`.
|
| 5 |
|
| 6 |
-
[*Note 1*: `C`
|
| 7 |
-
|
| 8 |
|
| 9 |
``` cpp
|
| 10 |
template<class T, class U>
|
| 11 |
concept common_with =
|
| 12 |
same_as<common_type_t<T, U>, common_type_t<U, T>> &&
|
|
|
|
| 1 |
### Concept <a id="concept.common">[[concept.common]]</a>
|
| 2 |
|
| 3 |
If `T` and `U` can both be explicitly converted to some third type, `C`,
|
| 4 |
then `T` and `U` share a *common type*, `C`.
|
| 5 |
|
| 6 |
+
[*Note 1*: `C` can be the same as `T` or `U`, or can be a different
|
| 7 |
+
type. `C` is not necessarily unique. — *end note*]
|
| 8 |
|
| 9 |
``` cpp
|
| 10 |
template<class T, class U>
|
| 11 |
concept common_with =
|
| 12 |
same_as<common_type_t<T, U>, common_type_t<U, T>> &&
|