tmp/tmp9nds7jip/{from.md → to.md}
RENAMED
|
@@ -13,9 +13,14 @@ template<class R>
|
|
| 13 |
template<class I>
|
| 14 |
concept has-arrow = // exposition only
|
| 15 |
input_iterator<I> && (is_pointer_v<I> || requires(I i) { i.operator->(); });
|
| 16 |
|
| 17 |
template<class T, class U>
|
| 18 |
-
concept
|
| 19 |
!same_as<remove_cvref_t<T>, remove_cvref_t<U>>;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 20 |
```
|
| 21 |
|
|
|
|
| 13 |
template<class I>
|
| 14 |
concept has-arrow = // exposition only
|
| 15 |
input_iterator<I> && (is_pointer_v<I> || requires(I i) { i.operator->(); });
|
| 16 |
|
| 17 |
template<class T, class U>
|
| 18 |
+
concept different-from = // exposition only
|
| 19 |
!same_as<remove_cvref_t<T>, remove_cvref_t<U>>;
|
| 20 |
+
|
| 21 |
+
template<class R>
|
| 22 |
+
concept range-with-movable-references = // exposition only
|
| 23 |
+
input_range<R> && move_constructible<range_reference_t<R>> &&
|
| 24 |
+
move_constructible<range_rvalue_reference_t<R>>;
|
| 25 |
```
|
| 26 |
|