<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">