<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/109538>109538</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Requires expression with local parameter of void type
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Fedr
</td>
</tr>
</table>
<pre>
This program is accepted by Clang (`requires` is evaluated as `true`):
```
static_assert( requires(void t) {t;} );
```
but rejected by GCC and MSVC with hard error: https://gcc.godbolt.org/z/W7f3zqbMb
If it were evaluated as `false`, it would be more understandable.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsUcuK3DoQ_Zryphijlt1-LLSY7sGXu5hNEpJlKFllW0G2PJLck5mvD-7uJJAEhETB0anzoBjtuDArOJ7g-JTRliYfVMcmZNqbN_VpshHX4MdAM9qI1Pe8Jjao3_DsaBkRZAOVCPyy2cARKrHD-EJuox1HEaESKWwMlQDZQvEI4gnE4z7eznWMiZLtv1KMHBLIBn8xyubircEEskWoTwmKE9RPeOU6_ZNLbwkDf-P-LvS_8xlpMfj88fMZX22acKJgkEPwAYpHnFJa4y5MdiC7se_z0RvtXcp9GEF27yC7L_VQvL_oZ33feL3_H9AmfOXAfzkeyMWb5fMV4zdnUDPOPjBui-EQEy2GtOM8M6owbdFSxupQy6otpSjrbFJHUx1N2Yt6aLRoBiMqWbKoaeCB2rrmzCopZClaeTg0opZ1LsveaFPQwRSSDRGUgmeyLnfuMu92Mhvjxuog2mPRZI40u_iz_aB21IPexgilcDam-Ptfssmx-nBvBfn7GjhG65dbos735HClQDMnDugHvNX2tnK2Baf-CNmmadN572eQ3b7j_jyswe_FgeyuQiPI7q71ouSPAAAA__9x3ti6">