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

    <tr>
        <th>Summary</th>
        <td>
            [HLSL] Add concepts to validate raw buffer element types
        </td>
    </tr>

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

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

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

<pre>
    Raw buffer resources, like StructuredBuffer, need concept decls so that their element types can be validated. The concepts need to use the negation of the is_intangible builtin, that should be a sufficient condition to impose on element types.
Tests need to be added. This issue is resolved when there are tests that show that raw buffers with invalid element types fail at compile time.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcks1yozAQhJ9GXKZCCWFjc-CQbMq1h5w2uW9JaIDZFRIljezK22-B7fzsid_u-bo1OiUaPWIn9k9CKRPMUbZyL5QS--dCZ55C7O5vCxPse_dLX8DkYcAIEVPIscck1A9w9BfhlWPuOUe0T9sv6wePaKEPvseFwWLvEqQAPGkGnpAioMMZPQO_L5ig1x4Mwlk7sprRlvA24V2frm4cICdc5eBx1EzBQxi2Z0q_ybP2IxmHYDI5Jr9ibAPTFLKzq7-GlIeBelon98Fb2lw4AM1LSAjBfwcrhXwW8vEN0xeK1cjaKyQloJTyirA1485o4TKhX7kigo4IvKnvKJfrXfxoNMGFeALyW_r_ihk0OdAr7LyQQ2CasSxsV9u2bnWBXXWoVa2qqtoVU2eUxp2WtjnIo673rZIDquN-MIeqHlSrCuqUVLuqUrWU1bGuy-HQaNmYpultqxutxE7irMmVzp3nMsSx2OJ1VXXYyaZw2qBLt8XxeLmGv21O7FbRg8ljEjvpKHH6tGFit23cz5fXF7F_hkdrPw-Yw8fZf2nmexdFjq6bmJck6kehTkKdRuIpm7IPs1CnddTt8rDE8Ad7Fuq0ASahTrcE5079CwAA__-MHQUD">