tmp/tmpci5ccuj3/{from.md → to.md}
RENAMED
|
@@ -27,11 +27,11 @@ namespace std {
|
|
| 27 |
: incrementable_traits<I> { };
|
| 28 |
|
| 29 |
template<class T>
|
| 30 |
requires requires { typename T::difference_type; }
|
| 31 |
struct incrementable_traits<T> {
|
| 32 |
-
using difference_type =
|
| 33 |
};
|
| 34 |
|
| 35 |
template<class T>
|
| 36 |
requires (!requires { typename T::difference_type; } &&
|
| 37 |
requires(const T& a, const T& b) { { a - b } -> integral; })
|
|
|
|
| 27 |
: incrementable_traits<I> { };
|
| 28 |
|
| 29 |
template<class T>
|
| 30 |
requires requires { typename T::difference_type; }
|
| 31 |
struct incrementable_traits<T> {
|
| 32 |
+
using difference_type = T::difference_type;
|
| 33 |
};
|
| 34 |
|
| 35 |
template<class T>
|
| 36 |
requires (!requires { typename T::difference_type; } &&
|
| 37 |
requires(const T& a, const T& b) { { a - b } -> integral; })
|