tmp/tmp5nzpw0_4/{from.md → to.md}
RENAMED
|
@@ -17,11 +17,11 @@ template<class T, class U>
|
|
| 17 |
|
| 18 |
Let `C` be `common_reference_t<const T&, const U&>`. Let `t1` and `t2`
|
| 19 |
be equality-preserving expressions that are lvalues of type
|
| 20 |
`remove_cvref_t<T>`, and let `u1` and `u2` be equality-preserving
|
| 21 |
expressions that are lvalues of type `remove_cvref_t<U>`. `T` and `U`
|
| 22 |
-
model `comparison-common-type-with<T, U>` only if
|
| 23 |
|
| 24 |
- `CONVERT_TO_LVALUE<C>(t1)` equals `CONVERT_TO_LVALUE<C>(t2)` if and
|
| 25 |
only if `t1` equals `t2`, and
|
| 26 |
- `CONVERT_TO_LVALUE<C>(u1)` equals `CONVERT_TO_LVALUE<C>(u2)` if and
|
| 27 |
only if `u1` equals `u2`
|
|
|
|
| 17 |
|
| 18 |
Let `C` be `common_reference_t<const T&, const U&>`. Let `t1` and `t2`
|
| 19 |
be equality-preserving expressions that are lvalues of type
|
| 20 |
`remove_cvref_t<T>`, and let `u1` and `u2` be equality-preserving
|
| 21 |
expressions that are lvalues of type `remove_cvref_t<U>`. `T` and `U`
|
| 22 |
+
model `comparison-common-type-with<T, U>` only if
|
| 23 |
|
| 24 |
- `CONVERT_TO_LVALUE<C>(t1)` equals `CONVERT_TO_LVALUE<C>(t2)` if and
|
| 25 |
only if `t1` equals `t2`, and
|
| 26 |
- `CONVERT_TO_LVALUE<C>(u1)` equals `CONVERT_TO_LVALUE<C>(u2)` if and
|
| 27 |
only if `u1` equals `u2`
|