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

    <tr>
        <th>Summary</th>
        <td>
            [libc++] consider making product types always_bitxastable
        </td>
    </tr>

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

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

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

<pre>
    A `pair<T, U>` `is_always_bitcastable` to a `tuple<T, U>` if T and U are. We should consider whether it makes sense to specialize `__is_always_bitcastable` for these kinds of special cases.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx0kc-O2yAQh58GX0ZrAQ52fOCwf5on2FWPEdhjexpsLAbvNn36ylGqVJUqISEB34-ZbxwzjQuiFeZFmLfCbXmKya4ThYUuTdMUPvZX-wyilqujJKrXd6Ff4UNU30Qt92Piswtf7spnT7lznJ0PuN_lCG5_kLc14L8gDfAObunhA1zCEr4j8BS30EMXF6YeE3xNmCdMQBlmd0EGxoVxj-UVO3KBfuGefz7_t4QhJsgTMsKFlp4hDn9Y6Bwjl0Vvq76tWlegVU3VKn3Uqikmq3tjBukHb4w7dk2DaAbftFJ5g6qtXEFWS22klq1qlVR1Oaj6cDR163Hw7VAdxEHi7CiUIXzOZUxjQcwbWqXrg26K4DwGvnnXOpDvhH65Lb3PIdmdevLbyOIgA3HmR06mHG4T-wszbw9xs7vQMsKaYr91GfJ1RYaHoJ93QcWWgp1yXllUz0KfhD6NlKfNl12chT7t_923pzXFH9hloU-3Jljo072PT6t_BwAA__91Cbr6">