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

    <tr>
        <th>Summary</th>
        <td>
            [Clang] Regression between 15.x and trunk: satisfaction of constraint depends on itself
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang,
            regression,
            concepts
      </td>
    </tr>

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

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

<pre>
    https://godbolt.org/z/vEb55MGrM is a reproducer that occurs at least in 0d6b26b4d3e3991da16f5b7f53e397b0051e8598 and on current trunk, but did not occur in 7520d187cf0dedcf5085f71bc1a5472c75cc8dbb as far as I can tell.  It would be good to fix this and get it into LLVM 16 before the release.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxckstu3SAQhp8Gb0axABtfFl6kSV2lSjZddM9lsGkJHME4Sfv0lU-jVOpqxAh98M83utawJcSFqU9M3Tf6oD2X5WvGx1yxNCa7X8tOdKmsu2VyZXLdsjM5UpvLxuT6m8n15bNR6ulLeYJQQUPBS8nusFiAdk2QrT1KBU0QUVeCkIC7wcjB9K7Dbp6F02LwyoxenefRcK4ETmqeQCcHOYE9SsFEQOVIP5m8A3MQuOAg5Xf-SR2V5E5Mo_XcobNe8Un5URgrtOpHaUdl7eSMAV3B63KWB7A6AWGMLcADwWs-ogODsOXsgDL48Aa0n7mSgw0JwhmAMjw-fn8CMYBBnwsC7QgFz4DYNm7p3NzNusFFDGM_Trwb52Zf0PRyNF5yNXmuZ6fc1KMWvhe9UdyIJiySy44LOXLeD2JuBZ9Mx6dpMMM4SMtZz_FZh9jG-PJ8KmhCrQcuA-9k10RtMNarSylt1GljUjJ5x6QsuBWsNeT00bI5WbxQPRvqvinLybwxx1ZZz2OoVP-9QoHidUnurlR1D98-gGCQXhETCNW-Xef0V1N3C1VTqF5bOq9lDzanSkWHRODwgsnV026gitE3R4n_r1qg_TCtzc9Mrudf3svNpeQfaInJ9Rq_MrleJ_AnAAD__wKc5v0">