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

    <tr>
        <th>Summary</th>
        <td>
            Invalid error when matching constrained out-of-line definition
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          ilya-biryukov
      </td>
    </tr>
</table>

<pre>
    This code compiles with GCC and fails with Clang, see https://godbolt.org/z/rz877Tde9
```cpp
template <class FooT, class ArgT>
concept CanDo = requires (ArgT arg){
  FooT::Do(arg);
};

struct Arg {

};

template <class T>
class Outer {
 public:
  template <class FooT>
    requires CanDo<FooT, Arg>
  class Inner;
};

template <class T>
template <class FooT>
    requires CanDo<FooT, Arg>
class Outer<T>::Inner {

};
```


</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJykU8FupDoQ_Jrm0pqRsSEMBw6EeTzl9C7zAwY34Lcem7XNRMnXr2AYZZVsTishgd2urqqmLEPQoyWqIH-G_JzIJU7OV9q8yUOn_dvyw92Szqm36jLpgL1ThL27ztpQwFcdJ_y3aVBahYPUZt9qjLQj8AYDEU4xzgFEDbwF3o5Odc7Eo_Mj8PYdeOvfT0VxUVQCq-GJ3Z9-noHVka6zkZEQRNMbGQK2zl3WxvdV7ccLiH-A1b2zPc0RG2nPDkGc0dPPRXsKCPy0nkO5MpZQPAOr8d5I1CDqswN-2otiLUJx3j9YHaJf-rgS4R35qf5V4UPQtvhvieR3JM5LZ3S_kq4CvvG2gRHxQ_9mCUTzsF778XHqjnuxlvxX6d9K-3vm38yBaDboNspNyZ8G9fit9_1EVUKVopQJVWmRiTQvWJYmUyVTKdKiF1x2TIlcPjGVlYIEdfyU0jAkuuKM50zwU8rSgqfHp_yUF6WS5SC6LBsYZIyuUpujMbfrGrJEh7BQlQqRpSIxsiMTtqxzvmcmAOdr8n21Yg7dMgbImNEhho8uUUdD1Yu9SaMVkvfO4-tEFq8y9pO2I_bOhuiltqTQLfHghoPRllDRoK2O2tlk8ab6dBt0nJbu2Lsr8HYl21-H2bv_qY_A201_AN7uFm4V_xUAAP__E3MhWg">