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

    <tr>
        <th>Summary</th>
        <td>
            [libc++] Use a __bounded_iter flavor in std::array
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            libc++,
            hardening
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
            var-const
      </td>
    </tr>

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

<pre>
    Just like we do for `std::string_view` and `std::span`. But we can hardcode the size information in the iterator type, leading to 2 pointers instead of needing 3 pointers like `__bounded_iter`.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxUkcGOozAMhp8mXKxWYCCFA4fpjHrY-56rQBzwbppUiemo-_QrULWzI0WKZEdf_PszOfMciAbVnhXiw6TDFEMWhajaj8KsssQ0eMsxBCrGaJ_DjzULeP5N8ElgI7iYQOkyi1X1m6rfsiQO8_XB9Kl0CSbY7-27CUqXRzivshEmE2AxyU7REshCkPkPAQcX080IxwAc9joLJSMxgTzvpPAdPBnLYQaJgHCPHIRSBg5ZyFiIDgLR_qD-6u5zK11er2NcgyV73bDbPIUdatvXvSloqHTfnbq-xbZYBmcd6Qanqda9PU19WbmTdl3rmtqim2zBA5ZYV2VdYdV2TXt0WlvTuA67vhpba1VT0s2wP3r_uB1jmgvOeaXhVHa6KbwZyeeXAM_jpPC8H1T4rhC35VDgML-cpGHDHMZ1zqopPWfJX2Bh8bvM_0DtB_zMBAa-hwbnzSOmbb3_5JiUzLNYkx8WkXveinhReJlZlnU8TvGm8LJ99roO9xR_0SQKL3ukrPCyp_obAAD__0ykwes">