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

    <tr>
        <th>Summary</th>
        <td>
            [Clang] Attribute `[[assume]]` accepts unexpanded pack
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:frontend,
            accepts-invalid
      </td>
    </tr>

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

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

<pre>
    This code compiles, which means it looks like I forgot to check for unexpanded parameter packs here (https://godbolt.org/z/scafKKjsG):
```c++
template <bool ...val>
void f() { 
    [[assume(val)]]; 
}

```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxcUsuunDoQ_Jpm0zrINI-BBYt5XK6is0x-wNgN-IzByDaTx9dHMCeKJlJJ4HK7y11lGYIZF-YWyguUt0RucXK-_Wq8l0Zz0jv9s_02mYDKaUbl5tVYDkBX_D4ZNeHMcgloIlrn7gGtuTN-wcH50UWMDtXE6r6vcVv4xyoXzRpX6eXMkT2uUt0DTuwZgeopxjVAfgbqgLrR6d7ZmDo_AnW_gLqg5PD-_hH-B2r2MnEDcYZKPKGALjsONvK8WhkZIb_2zllM0_QhLeT_PfcfzmgcgGqgBuF0wSeNiHhYcZEhbDMD1fspaqC87cj_FMLp9vnzeolEt7lu8kYm3GanrBRZVlOdTG2Za1Fng6oakau8ykjxUNGp11SoLCt0YloSVIhSVFmVCapTkcmyKYqchB6aoSyhEDxLY1NrH_PuSmJC2LhtMsopsbJnG44ciZSVywj5efBuibxoIAK6ApFUitcY3szykNYcfHlLfLu3fOu3MUAhrAkx_BWJJtrjfVyPpuUNzzF602-7uZV4cetpUiXwU-c1dHVPNm_bf1I2cdr6VLkZqNtFPz9vq3cfrCJQd4wZgLpj0t8BAAD__0Na0UE">