tmp/tmp05czhvz3/{from.md → to.md}
RENAMED
|
@@ -4,11 +4,11 @@ Types that are indirectly readable by applying `operator*` model the
|
|
| 4 |
`indirectly_readable` concept, including pointers, smart pointers, and
|
| 5 |
iterators.
|
| 6 |
|
| 7 |
``` cpp
|
| 8 |
template<class In>
|
| 9 |
-
concept indirectly-readable-impl =
|
| 10 |
requires(const In in) {
|
| 11 |
typename iter_value_t<In>;
|
| 12 |
typename iter_reference_t<In>;
|
| 13 |
typename iter_rvalue_reference_t<In>;
|
| 14 |
{ *in } -> same_as<iter_reference_t<In>>;
|
|
|
|
| 4 |
`indirectly_readable` concept, including pointers, smart pointers, and
|
| 5 |
iterators.
|
| 6 |
|
| 7 |
``` cpp
|
| 8 |
template<class In>
|
| 9 |
+
concept indirectly-readable-impl = // exposition only
|
| 10 |
requires(const In in) {
|
| 11 |
typename iter_value_t<In>;
|
| 12 |
typename iter_reference_t<In>;
|
| 13 |
typename iter_rvalue_reference_t<In>;
|
| 14 |
{ *in } -> same_as<iter_reference_t<In>>;
|