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

    <tr>
        <th>Summary</th>
        <td>
            Implement 'P1285R0 Improving Completeness Requirements for Type Traits'
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            libc++,
            c++20,
            clang:frontend
      </td>
    </tr>

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

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

<pre>
    A robust implementation of P1285 should render a program ill-formed if a program breaks the rules outlined in the paper. This will require some front-end support.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxMkFFrpDAUhX9NfLmM6DU6-pCHactA35YyfyDRO5puTNzcZJb--0XbpYVAyDmHHM6nme3siZRon0T7UuiclhDV-D6ZwoTpQ10gBpM5gV03Ryv5pJMNHsIdftXYt8BLyG6CSH6iCBq2GOaoV7DOne4hrjSBvf_QTST9myEtBDE7Ygg5Oev3mD_UTW8US7gtluGvdQ4i_ck2EnBYCe4x-HQiPwHnbQsxlcWkmmloBl2Qqs9Yd30_dLJYVCU7Y-pKmo6kHnU31n1LNaJEOSLJprAKK5TVGRGx7SpZ0tBiNQxt2_RT3_UkZEWrtq507rGWIc6FZc6khmEY2sJpQ44PcojOmlHg03FQ4LNA_Hpj9a047WfRXI4R5KfdaF-KqPb_TybPLGTlLCf-bkw2OVKv_-mDwPMB_q2C13WL4WH9DM9h9xN5Yoa3T157muEeItw-NoJb1DaxwHORo1NLShuL5iLwKvA627RkU45hFXjdm7-u0xbDO41J4PUYzgKvn9sfCv8FAAD__zXluW8">