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

    <tr>
        <th>Summary</th>
        <td>
            `User::user_begin()` does not return a well formed iterator.
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          natanelh-mobileye
      </td>
    </tr>
</table>

<pre>
    https://godbolt.org/z/e9eWPYoG3

the `static_assert` should hold if we want to use this iterator like [here](https://eel.is/c++draft/input.iterators) with accordance with the standard.
this especially gives me trouble if I try to apply `make_filter_range` to it.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcksGO2yAQhp9mfBmt5YAdxwcfNlq56q2XquopGszYpotNBOON0qevyHZbtRcQQvx8Px-Ukps35h6aMzQvBe2yhNhvJLSxX57WYJznOxcm2Hu_iFwT6GdQA6hhDtYEL2WIM6jhJ6iBO_725Xv4pKF6ger5fZSFEY5VEhI3XigljgLHCtMSdm9xCd6im_DGeKNNUALuiVEWl9AJR5IQ0btXRmjOC0eG5gXU6V8UZl-6BGoYQZ1BnW2kSUANbrvuUn7EJFAd3pwsSOMYoqVt5Pd1ZkxCm6Voyw9sl5DTlUdH3t9xdm-ccGWUGHbjOTN_Ron3TEzXq7_nliu98mVyXjheIm0z56YS0ElZ2F7bTndUcH9oq65u2vqoi6UnXRt7MGQ6S5NmS8Y2U3NQPB2741hT4XpVqbrSla66Q1vrUinbno5tRarRrekmqCteyfnS-7c1-yhcSjv3J90e6sKTYZ8ehpXa-IaPTVAqC499PvNk9jlBXXmXJP1NESeeezhWXxPH_Nj6eU8cL4Znt4E6gepyPxs44RYEI8seNyS8sfc4hbiy_SOxLPbo__9CTpbdlGNYQQ352t_T0zWGHzw-FGbYrPZR5lcAAAD__-XS4OU">