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

    <tr>
        <th>Summary</th>
        <td>
            Clang accepts incorrect concept decl
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

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

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

<pre>
    The following code is accepted by clang-trunk, while GCC and MSVC reject it.

```
template <typename>
concept a = b<[] {}>();
int main() {}
```

Please refer to: https://godbolt.org/z/hvr3xn5xd
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxckUGr2zAQhH_N-rIkyFIcxwcdHKfuqVBo6V2S17ZaWQqSnLz01xfn5VFaWBCI2Z1hPpWSnTyRhOoM1aVQa55DlHflJx3KqtBheMjvM-EYnAt36yc0YSC0CZUxdM00oH6gccpPuxxX_wt4h_fZOsLPXYfKD_jl248OI_0kk9HmPbB2myN7DWszLVenMiGILj-u5NVCID4Ba03wmwkqBHFBDaJ7z4lQn6G-bCJ-At6AOANrrc-4KOvf_z40_3oBa786Uokw0kgRcwDR4pzzNYFogffA-ykMOri8D3EC3v8G3s-3KN589TYUgxRDIxpVkCzrqhGci7ouZlmpoxnH-lCfFNPHgQmly5FOgo2DUmNtCis541XJWFly0Yh63xhGYjyUR23MqDWDA6NFWbd37rZs3oVNaSVZHsuqPBROaXLpyYnzZ9_A-YYsym1hp9cpwYE5m3L6eyLb7Eh2m_wFLKH1JsS40fiodyDjijU6-V8PNs-r3puwAO-3k69nd41howm8f0ZMwPtXypvkfwIAAP__ryO3rA">