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

    <tr>
        <th>Summary</th>
        <td>
            Compilation Error using C++ Concepts
        </td>
    </tr>

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

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

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

<pre>
    Full reproducer:
https://godbolt.org/z/oh1v7h64G

Compiles with gcc, but not clang.

This could also be user error and gcc should be throwing an error; however, I feel like the code is correct since clang doesn't fail the static_assert, but fails when applied to the lambda auto arguments.


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxckk2v2ywQhX8N3oxuBDh2koUXN7mvX3XffcXHxKbFjMXAjW5_fWWnVT82IDQPZw6cMcxhSoiD6K6ie2tMLTPlIX-YRJEpNZb8xzDWGCHjmslXh1m0r0K-Cfk6l7LydtKj0ONE3lIsB8qT0ON3oUea1ftp7o__P_HneqNlDREZHqHMMDkn9A1sLZCogIsmTYc_8c9zYHBUowcTmcAiVMYMmDNlMMlvEsDzTliEMmd6hDSBSU9GtFeY6YHvmLdOn-COGCGGbxuL4Mgj7C1yRleAQ3L49AGekJPQpwJ3E-KOczEluC-GGXP55XyrMjxmTGDWNQb0UGjHo1msN2BqITB5qgumwn-9r_FD6y_txTQ4qP7UHbW-nPpmHlyne2-PtlOXzlstz6o_aX_usLUXJdW9CYOWupVatkqpXvUHqfxd6ftJns-o-rMRR4mLCfEQ4_uyxdIE5opDLzt5bqKxGHkPXuuED9iLQuttDvKw3XmxdWJxlDFw4d8qJZSIwzNHUwIl-G8Po_L27zehr0Jf4UbJ4Vq4qTkO_0xKKHO1B0eL0OMm-3N7WTN9RVeEHnczLPS4m_0RAAD__75y3J4">