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

    <tr>
        <th>Summary</th>
        <td>
            [libc++] __bounded_iter should use static_assert instead of enable_if for checking contiguous_iterator
        </td>
    </tr>

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

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

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

<pre>
     Why is this not simply a `static_assert`?

_Originally posted by @philnik777 in https://github.com/llvm/llvm-project/pull/110729#discussion_r1807351560_

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkTGL3DAQhX-N3AxZJNmy14WKOxa3KVMa2Zq1J6eVjEY62H8f4suRpDwQGhiYx3vvc8y0RUQrzKvQOnhKMaLQWphb42rZU7Z_ls2S_NPCj_0JxFB2YoipANPjCE9wIHrJxRVaZ8eMuYheinYS8ibky8c_f8-0UXQhPOFIXNDD8gTRyWOnEOltGAagCHspB4v2RehJ6GmjstflsqaH0FMI75_j25HTT1yL0NNRQxB6UkoOehS69cRrZaYU56yucmiNMr2cP0w03rZ-bEfXoFVDK6_q2rdds9sFcTCj70flnLzrDntjeo9Xhb1p5TA2ZLXUnVLSqM4Mqr341vXo7wqH0elu6UUn8eEoXH77u6S8NcRc0SplpNRNcAsG_myallXo1_OdZWd7plrqxqKTgbjwX51CJZyM_jkzN5jnJdXo0c9UMAPvqQYPlRH-IwEUuaDzkO6A0S0BZ7rDPWVYd1zfKG6wplhoq6nyKeVKyk3NwX6ZxZmYTxpn6HerfwUAAP__4BbETQ">