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