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

    <tr>
        <th>Summary</th>
        <td>
            Clang doesn't properly handle the template partial specialization based on the concept initialized by the lambda
        </td>
    </tr>

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

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

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

<pre>
    Although I seriously doubt this has been reported before.

```cpp
template<class>
concept C = [] { return true; } ();

template<class T>
struct S {};

template<class T>
  requires C<T>
struct S<T> { constexpr static bool value = true; };

static_assert(S<int>::value);
```
https://godbolt.org/z/oTGW71zTh
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNU0uTmzAM_jVw0WyGmPA6cEiy3U7PzUyPHRsEuOtgasvbJr--ApJ2m146Y2Pr9emTZJRtL_Xe0GBDP8An8Oi0Dd5coLVBEdCgPQzSg0IcweFkHWHLUmcdbqLkOUr2t2-erKuZplVDeJ6MJIzSY2Ok91H6YTU0dmxwIjhClD5DlB2ijI_iwPgU3AjkAgcdWMVqUUaiYul9rkdkOP3G9hzcEHye8Tj-_wOBs38P2qGHI5v_RbwpF6JcgSf8OTnwJEk3oKw18CZNwKWmdxU8MFj9v3JudMTFzbB6pDlbuue1YPxV8b2vqzgQTX52FS-8etsqa2hjXc_Slbc9ffxSbK-nIW7rtK3SSsakyWB9NHLsearox0gUBJOzEzoe9CDH1iBPmvetPTBJR1oa8BM2fOork7YjKOl5-HyZne9T1KOmxWd-F5fFZORZtTIOztQPfDUNQW0ae2bBmLf78cRsvmHDDXnR3gf0fMmyrEzioc7LskvLKk-EEEVZlrJrqkqqPO9UIYpCxUYqNL5e31Gsa8GeSbatkmJbZPlGdFLKnejEblt2VSmjXYJnqc1mTjx3Lnb1wkGF3rPRaE_-j5EnpfsR8Y4vA_8srh7whzbmNV7o1gvXX1QWBgg">