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

    <tr>
        <th>Summary</th>
        <td>
            Clang gives an error when using recursion in a concept
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          s2s-k
      </td>
    </tr>
</table>

<pre>
    MSVC: https://godbolt.org/z/M9YKEq6df
Clang: https://godbolt.org/z/rMM61PKKx

`error: use of undeclared identifier 'IsAnyType'`

I think the compiler gives this error for no reason, because "IsAnyType" has already been declared. Also, Microsoft's compiler compiles this code well.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNUc1q3DAQfhr5ImJk2fLuHnzYbhoIi6HQUuhRlse2GkVyNXLS7dN37O6SkFNBM5ph5vtB6kJ_adqv30-sPPIppRmpYPKBzhj6LriUhzhS94eiPfw4f_5V9wMT90wcT0778X9wsW3r4sv5_Psf7pprATGGuBIsCDwMfPE9GKcj9Nz24JMdLETO5O4Rj_7y7TID1YR7T_PI02T9E2XgJjzP1hFktC-A6wD5psEHCh94BI3BM3niHRi9qjIp35FLPmnk2tFef6Ed8PzmKOdHh2GFttbEgGFIZAbfNK_FVdaEHvgrOJdnfVP2h_Kgs2STg2Z7tatD7a_-XieSWtDSJIJZItrgufVcE5E3MKdsia758M42TUuXky41zr3crrs5hp9gyN6DRVwAqVBqv1PZ1CgNAooBlN5p2ZVlvauKzgymUnulKzCZ0x04bJj6xNR9ZhsppBS1qIq9Kso6l8LQXtFJoYZ9IStWCXjW1uWr8PrjWWw2D90yIg2dxYRvQ41oRw9w49dLmkJsUOLdU7aZbTanfwH_u9Z4">