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

    <tr>
        <th>Summary</th>
        <td>
            missed constraints equivalence put in a different position when defining a class function outside a class
        </td>
    </tr>

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

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

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

<pre>
    Here the example where the function definition uses a requires clause whereas
the function declaration uses a concept applied directly to the template parameter type:

https://godbolt.org/z/YMxbrY5rP

template<typename T>
concept C = true;

// declaration:

template<C T>
class A1{
public:
    template<C Tnest>
    void f();
};

//definition:

template<C T>
template<typename Tnest>
requires C<Tnest>
void A1<T>::f(){};

Standard text in [temp.constr.decl]-p3 reads that the logical AND of all constraints need to be considered.
Indeed, gcc accepts it (MVSC does not).

Note that at the referred link, there is also another example with class A2, involving a constraint that is a logical OR of two other constraint, but all compilers fails if I explicit the OR in the requires clause... which seems to be fair, isn't it ?


Really, you can simplify the example by making classes as non-template, you would get the same results: https://godbolt.org/z/PdMzqG6z5
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyEVE1v4zYQ_TX0ZRBBoqw4OuigOHW7QLO7yBYF9kiRI4tditSSIzvOry8oyR8Jii5gwPaQ782bmTcUIei9RaxY8ciKp5UYqXO-6v0YgvtzfHUtrRqnTtUf6BGoQ8BX0Q8G4didI-1oJWlnQWGrrZ5-jgEDCPD4c9QeA0gjxrCARGBp_QEojfDiFimdlTgQiGEwGhUo7VGSOQG5KSlhPxhBCIPwokdCD3QakOU1S-OnIxpC_Md3jO_2TjXOUOL8nvHdG-O778-vjf9e-K_z9TMdy7eRxooe4S-W_8bS-qxkCyx_AvIjsvxxRs3kt_Iv-W8ItxcmI0KAOmObiB_Gxmg5AwAA3iMsBppR8ezgtIKW8QfGyyX75umDjGv3_1fEf1Z6zXaZ2Jbl25v4pKDOYjAG8prl9VnQ5vFWzTcSVgmvgPCVQFtgxWNMmkhnA_kkdosVT3dDDh6FCkCdoGmmxu21FAbqz0_gWhDGwIwR2lIAi6ji-BucwlqhR5WwtP5kFaJifAt7KUHIOK4AmoDxh-e_v21BOQxgHTFeJrPIz45wTrzk9tii96jAaPsjUtHkbx1AmOBAWBcDV_dr6mCZJ4_XtT04c9B2P3t3ET2niCSX4r68xNro6GBmvF6ONM1IS939oA36AK3QJoBu4RPg62C01LPgLy-xt7P0d0uWJAkcOy07CIh9WDrWCu0nncEyvqGpO_lu8U9av6Aw5hQvnNwIUlgIuh-Mbk_vlr45QS9-xCqn2uOmxsbau4urFoajG42CPc5aQzSZxzAaijsJv1rOr-r57efv92_FSlW5KvNSrLDKNvk6zdMsLVddlbVyLZr1w8NmXbb3bfPQSizuhRQ5z4q8LFa64ilfZzzjWZlm6zLBErMmy9JCpDzPNzlbp9gLbRJjDn3MvdIhjFhlWblZFysjGjRhehY5t3iE6ZRxHl9JX0XQXTPuA1unRgcKVxrSZLDqdQio3vk3jukgDFqJMIzTaghQum3RoyUYXJjfzmOH57d0ttNks8tj6UaK3j8frEZvqg8N1dSNTSJdz_gu6lq-7gbv_kFJjO-magLju6XcQ8X_DQAA__9XggAb">