<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/56504>56504</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            `reverse_iterator::iterator_concept ` should not use `__is_cpp17_random_access_iterator`
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          hewillk
      </td>
    </tr>
</table>

<pre>
    https://github.com/llvm/llvm-project/blob/a17c90daf2e7c3b1817ec29ad6648ce89b927f9a/libcxx/include/__iterator/reverse_iterator.h#L72-L75
It should be `random_access_iterator` right?

```
#include <ranges>

using I = std::ranges::iterator_t<decltype(std::views::iota(0, 1))>;
using C = std::reverse_iterator<I>::iterator_concept;
static_assert(std::same_as<C, std::random_access_iterator_tag>);
```
https://godbolt.org/z/913YbbGfj
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVU8mO2zAM_Rr5YkwgS_F28CFLUwSYH-jJ0MLYmiqWYcnJTL--tCfJpGl6KCBbpJb3yEdKOv1RtSH0nvAVYTscjQntKBfKHdGx9nSdXvrBvYEK6ErrJE4iyVVJtTgwyBWXSZHkoFgpdJYtCwVFKUuWH0oxARip3t_RMJ2yowa06toEGERwAzoDnGDwcFtatITx15y9vOYpoVtCV_sQ-9aNVscSYpLRQXTaHWuhFHj_BZXReDBNGwjffd67_DN6GZ8u45dAYsI3CNUACvDt_sboTdfEe9zfxj7oSR6-up6c7CtljVwbDcqGjx7zKm6HTwbO17MuoAoFJWwTJ4SV00A6vr7n2jxwPUiCLPv50h_kynUK-nCD8kEEo2rhPQzhPhovjoDLiLKZorhP6YmOdRDNRDbFuX4q4UPTOC2dDQs3NOj9wq9M-A8pvx_eIl1xXfJSRMEEC9VUu79Se5bTVOVrzTsX4tHPhce-8bXq-ySv_9kD0TjY_29r4_2I1WW7NEvpMmqrnAuRLzXwZaLTTPP0kKYA2N2cgkjLIrJCgvUVSdeEsQ7O8QyBNkm3kakYZYzmCacM3wZbpFCWmdKcHwQvMhRySeEojF1McUzSRUM1hyTHxuOmNT74r02sqWk6gJkO8cUYWjdULZyNtT-jmbqaQ_8NwK8zlA">