<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylVMlu2zAQ_RrqMoggU5ZlHXSI7QQp0Fvbc0FJI4kBTapcsvTrO6QcJ0XRQ1GAFNd5bzjzRp0ZXlu2K9bWLwsrTqy49XhelPDIyqMI3sDIyrv1xHkbeg-3apkFsPrA6hMrD39Y-dcFtTgjfL1aBif1BA_AytNqTtdYdWDVifE94w30RjuPL4uFGzKCzhgVGcCiD1YDERPyARLj3ZXUeeFl_104h9YTkvMDK2-pOaKnbWJ5oC61j1b8CB9W6wbj_IE6uZDg-T01QGuNZSXNNyvPNUiXZfoelaA3bcq8yC_7R8YP1Pjv14zucfFuXX0W524QDqi9RQy00TcxZiDsFM6o3-6u30_0-hnhp1xAkh0M6IVUOAAlDEaa0bHwFKjFmiH06NL19IR8Rfh6MRfKGZC6V2GgW0JD0BajBwN0YVphehHcBaI354XgLZAGHE7RMYq20TCKoHz-0UdKpXQuYE40a05n7xcXc5EiOkk_hy4nRFoo9fQ23JDPj9hT6u7jSxyNdbOpt3VNs3dESk6iyYa2HJqyERkJcza2vVPyUcxfZjF0RvksWNX-M3GiicxVWW6bbG73Y7nHodpVNd-JZtyOoqn5BsW-4GVVNVWmRIfKtVG_nGt8hgQRVVSdsv_3QLa84LzYUOfbbbHJq6budvt9Xdaib5pmw7YFnkkDecTJjZ0y2yZIyqKjQyWdd--HVB1y0ojtWnCZl15h-01TtRE_JV9q_BGEkv4VzAhJibESkeyoKlddkLdPcsBVWy-C_gKxxN41fJVuVIuAtd5jeWLcXUGJgmT_PBuHpOJRapnkNMdyAJUKA9L875WRpVi1KVC_ABuvgdQ>53349</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Unexpected inequality of type expressions that provide the exact same template arguments to a using statement type alias whose definition has a lambda as a template non-type argument
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    ```cpp
template<auto f>
struct Alpha {};
template<typename T>
using H = Alpha<[]() constexpr -> bool { return true; }>;
static_assert(std::same_as<H<int>, H<int>>, "H"); // error?!
```

Clang 13.0.0
C++20

Concepts
Lambdas as template non-type arguments

In the zip is a detailed cpp file that reproduces the error.
The zip also includes an unrelated bug that causes the compiler to segmentation fault.

[issue.zip](https://github.com/llvm/llvm-project/files/7917477/issue.zip)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVVMlu2zAQ_RrqMrAgUXJkHXSI7QQp0FvTc0FJI4sBTapcsvTrO6QcJ0XRQwFSXOfNzHtD9WZ869hNsbZhWVhxZMWtx_OihEdWHUTwBiZW3a0nztsweLhVyyyANXvWHFm1_8vKvy2oxRnh8WoZnNQneABWHVdzusa2e7Y9Mr5jvIXBaOfxdbGwISPojVHRA1j0wWogx4S8h-Tx7urUeeHl8EM4h9YTkvMjq26pOXJP2-TlgbrUPlrxA3xarRuM8wfqFEKC5_fUAK01llU0L1c_V5Iuy_Q9KEE5lVVe5Jf9A-N7avzPa0YPuHi3rr6Kcz8KB9TeGQNt9CZyBsKewhn1-931-4WynxF-yQUk2cGIXkiFI5BgMNGMjoUnohZrxjCgS9dTCvmK8HgxF8oZkHpQYaRbQkPQFmMEI_ThtMIMIrgLxGDOC8FboBpweIqBEdtGwySC8vnnGElK6VzAnNysms7eLy5qkRg9ST-HPidEWij1_D5sKOYnHEi6-5iJo7Fpy6ZuGpp9IJI4yU02dtXYVq3IvPQKu--aKobMKQGp8WcQSvo3MBMkNmM1oXMUsVtzI2fPcsSVn1dBlRzL5EOHK_0xYwFrzcYSw7i7gpILku5lNg5JiUlqmSiZo6SgkriQ5v9WNwtWdf_NT2IjErStqrrN5q6oRT-Ou6apeV3UfS3Km3oqeYn1tJv6us-U6FG5Lj4zzjW-QIKIxb49ZrLjBedFSZ3XdVHm27bpb3a7pmrE0LZtyeoCz1RoeYwjN_aU2S6FRKXi6FBJ593HIT1BedKI3fqqM_pzzMZ2d0o-ifnbLMbeKJ-lCLqUwW81YWzH">