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

    <tr>
        <th>Summary</th>
        <td>
            [Clang] Error about use of deleted  `operator-` is unnecessarily verbose
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            enhancement,
            clang:diagnostics
      </td>
    </tr>

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

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

<pre>
    This program (https://godbolt.org/z/4z9MKW1xE):
```c++
struct O {
  int operator-(O) = delete;
  operator bool();
};

void operators() {
  O o;
  o - o;
};
```
prints

```
<source>:8:5: error: overload resolution selected deleted operator '-'
    8 |   o - o;
      |   ~ ^ ~
<source>:2:7: note: candidate function has been explicitly deleted
    2 |   int operator-(O) = delete;
      |       ^
<source>:8:5: note: built-in candidate operator-(int, int)
    8 |   o - o;
      |     ^
<source>:8:5: note: built-in candidate operator-(int, float)
<source>:8:5: note: built-in candidate operator-(int, double)
<source>:8:5: note: built-in candidate operator-(int, long double)
<source>:8:5: note: built-in candidate operator-(int, __float128)
<source>:8:5: note: built-in candidate operator-(int, long)
<source>:8:5: note: built-in candidate operator-(int, long long)
<source>:8:5: note: built-in candidate operator-(int, __int128)
<source>:8:5: note: built-in candidate operator-(int, unsigned int)
<source>:8:5: note: built-in candidate operator-(int, unsigned long)
<source>:8:5: note: built-in candidate operator-(int, unsigned long long)
<source>:8:5: note: built-in candidate operator-(int, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(float, int)
<source>:8:5: note: built-in candidate operator-(double, int)
<source>:8:5: note: built-in candidate operator-(long double, int)
<source>:8:5: note: built-in candidate operator-(__float128, int)
<source>:8:5: note: built-in candidate operator-(long, int)
<source>:8:5: note: built-in candidate operator-(long long, int)
<source>:8:5: note: built-in candidate operator-(__int128, int)
<source>:8:5: note: built-in candidate operator-(unsigned int, int)
<source>:8:5: note: built-in candidate operator-(unsigned long, int)
<source>:8:5: note: built-in candidate operator-(unsigned long long, int)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, int)
<source>:8:5: note: built-in candidate operator-(float, float)
<source>:8:5: note: built-in candidate operator-(float, double)
<source>:8:5: note: built-in candidate operator-(float, long double)
<source>:8:5: note: built-in candidate operator-(float, __float128)
<source>:8:5: note: built-in candidate operator-(float, long)
<source>:8:5: note: built-in candidate operator-(float, long long)
<source>:8:5: note: built-in candidate operator-(float, __int128)
<source>:8:5: note: built-in candidate operator-(float, unsigned int)
<source>:8:5: note: built-in candidate operator-(float, unsigned long)
<source>:8:5: note: built-in candidate operator-(float, unsigned long long)
<source>:8:5: note: built-in candidate operator-(float, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(double, float)
<source>:8:5: note: built-in candidate operator-(double, double)
<source>:8:5: note: built-in candidate operator-(double, long double)
<source>:8:5: note: built-in candidate operator-(double, __float128)
<source>:8:5: note: built-in candidate operator-(double, long)
<source>:8:5: note: built-in candidate operator-(double, long long)
<source>:8:5: note: built-in candidate operator-(double, __int128)
<source>:8:5: note: built-in candidate operator-(double, unsigned int)
<source>:8:5: note: built-in candidate operator-(double, unsigned long)
<source>:8:5: note: built-in candidate operator-(double, unsigned long long)
<source>:8:5: note: built-in candidate operator-(double, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(long double, float)
<source>:8:5: note: built-in candidate operator-(long double, double)
<source>:8:5: note: built-in candidate operator-(long double, long double)
<source>:8:5: note: built-in candidate operator-(long double, __float128)
<source>:8:5: note: built-in candidate operator-(long double, long)
<source>:8:5: note: built-in candidate operator-(long double, long long)
<source>:8:5: note: built-in candidate operator-(long double, __int128)
<source>:8:5: note: built-in candidate operator-(long double, unsigned int)
<source>:8:5: note: built-in candidate operator-(long double, unsigned long)
<source>:8:5: note: built-in candidate operator-(long double, unsigned long long)
<source>:8:5: note: built-in candidate operator-(long double, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(__float128, float)
<source>:8:5: note: built-in candidate operator-(__float128, double)
<source>:8:5: note: built-in candidate operator-(__float128, long double)
<source>:8:5: note: built-in candidate operator-(__float128, __float128)
<source>:8:5: note: built-in candidate operator-(__float128, long)
<source>:8:5: note: built-in candidate operator-(__float128, long long)
<source>:8:5: note: built-in candidate operator-(__float128, __int128)
<source>:8:5: note: built-in candidate operator-(__float128, unsigned int)
<source>:8:5: note: built-in candidate operator-(__float128, unsigned long)
<source>:8:5: note: built-in candidate operator-(__float128, unsigned long long)
<source>:8:5: note: built-in candidate operator-(__float128, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(long, float)
<source>:8:5: note: built-in candidate operator-(long, double)
<source>:8:5: note: built-in candidate operator-(long, long double)
<source>:8:5: note: built-in candidate operator-(long, __float128)
<source>:8:5: note: built-in candidate operator-(long, long)
<source>:8:5: note: built-in candidate operator-(long, long long)
<source>:8:5: note: built-in candidate operator-(long, __int128)
<source>:8:5: note: built-in candidate operator-(long, unsigned int)
<source>:8:5: note: built-in candidate operator-(long, unsigned long)
<source>:8:5: note: built-in candidate operator-(long, unsigned long long)
<source>:8:5: note: built-in candidate operator-(long, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(long long, float)
<source>:8:5: note: built-in candidate operator-(long long, double)
<source>:8:5: note: built-in candidate operator-(long long, long double)
<source>:8:5: note: built-in candidate operator-(long long, __float128)
<source>:8:5: note: built-in candidate operator-(long long, long)
<source>:8:5: note: built-in candidate operator-(long long, long long)
<source>:8:5: note: built-in candidate operator-(long long, __int128)
<source>:8:5: note: built-in candidate operator-(long long, unsigned int)
<source>:8:5: note: built-in candidate operator-(long long, unsigned long)
<source>:8:5: note: built-in candidate operator-(long long, unsigned long long)
<source>:8:5: note: built-in candidate operator-(long long, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(__int128, float)
<source>:8:5: note: built-in candidate operator-(__int128, double)
<source>:8:5: note: built-in candidate operator-(__int128, long double)
<source>:8:5: note: built-in candidate operator-(__int128, __float128)
<source>:8:5: note: built-in candidate operator-(__int128, long)
<source>:8:5: note: built-in candidate operator-(__int128, long long)
<source>:8:5: note: built-in candidate operator-(__int128, __int128)
<source>:8:5: note: built-in candidate operator-(__int128, unsigned int)
<source>:8:5: note: built-in candidate operator-(__int128, unsigned long)
<source>:8:5: note: built-in candidate operator-(__int128, unsigned long long)
<source>:8:5: note: built-in candidate operator-(__int128, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(unsigned int, float)
<source>:8:5: note: built-in candidate operator-(unsigned int, double)
<source>:8:5: note: built-in candidate operator-(unsigned int, long double)
<source>:8:5: note: built-in candidate operator-(unsigned int, __float128)
<source>:8:5: note: built-in candidate operator-(unsigned int, long)
<source>:8:5: note: built-in candidate operator-(unsigned int, long long)
<source>:8:5: note: built-in candidate operator-(unsigned int, __int128)
<source>:8:5: note: built-in candidate operator-(unsigned int, unsigned int)
<source>:8:5: note: built-in candidate operator-(unsigned int, unsigned long)
<source>:8:5: note: built-in candidate operator-(unsigned int, unsigned long long)
<source>:8:5: note: built-in candidate operator-(unsigned int, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(unsigned long, float)
<source>:8:5: note: built-in candidate operator-(unsigned long, double)
<source>:8:5: note: built-in candidate operator-(unsigned long, long double)
<source>:8:5: note: built-in candidate operator-(unsigned long, __float128)
<source>:8:5: note: built-in candidate operator-(unsigned long, long)
<source>:8:5: note: built-in candidate operator-(unsigned long, long long)
<source>:8:5: note: built-in candidate operator-(unsigned long, __int128)
<source>:8:5: note: built-in candidate operator-(unsigned long, unsigned int)
<source>:8:5: note: built-in candidate operator-(unsigned long, unsigned long)
<source>:8:5: note: built-in candidate operator-(unsigned long, unsigned long long)
<source>:8:5: note: built-in candidate operator-(unsigned long, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(unsigned long long, float)
<source>:8:5: note: built-in candidate operator-(unsigned long long, double)
<source>:8:5: note: built-in candidate operator-(unsigned long long, long double)
<source>:8:5: note: built-in candidate operator-(unsigned long long, __float128)
<source>:8:5: note: built-in candidate operator-(unsigned long long, long)
<source>:8:5: note: built-in candidate operator-(unsigned long long, long long)
<source>:8:5: note: built-in candidate operator-(unsigned long long, __int128)
<source>:8:5: note: built-in candidate operator-(unsigned long long, unsigned int)
<source>:8:5: note: built-in candidate operator-(unsigned long long, unsigned long)
<source>:8:5: note: built-in candidate operator-(unsigned long long, unsigned long long)
<source>:8:5: note: built-in candidate operator-(unsigned long long, unsigned __int128)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, float)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, double)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, long double)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, __float128)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, long)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, long long)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, __int128)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, unsigned int)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, unsigned long)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, unsigned long long)
<source>:8:5: note: built-in candidate operator-(unsigned __int128, unsigned __int128)
```
which is not wrong, but it’s not ideal either... we should not be printing literally every last builtin operator if overload resolution selected a deleted operator.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8W0uP4jgY_DXm8qlR4gAhBw5MA5fVag670h5bTmLAK3eMbKdneg7z21cJjxAes7uSKy3UPBKqPpddZTsowjm1q6RcsOkXNl2NRO33xi7-UNYKVcpRbsrPxZ975ehgzc6Kd2J8vvf-4FiyZHzD-GZnytxoPzZ2x_jmB-ObyY_s99_-ir-vGc-a06IVi5ZsFh0fBeNfmkf7qfO2Ljx9JZaePiFSlSdzkFZ4Y18Yn39lPCOWrKiUWnrJksuZ57MoN0YzPm_5TkdZuupet_8_jCovX3HH0695v5K5xqaXq_c9tHNLjm8PVlXeXRPdnMCSV2dqW0iWrFmynLNkOWXJkqS1xjYvzIe02oiSrHRG116ZipzUsvCyPDW6K5wYT18YT891Es2Jpa90WzG1f8cjP4lN1_TzYTmcJcu0qaIyjbZLKkRVqlJ4Sdu6Ktpi9sJRLmVF8vtBq0J5_XmuqyPjJ7L_3n1dge2r6frXep0LzGul_Yuqriq95lOVZ_yV2qfs_6gUvIStNqIrIgxmaepcy8Cg2lQ7DPLbWytCfPRm4JIRKgBw395UBVCgrtroLnsjPTA0QI0eNpQgtO4nO7-GFPxsuqCgPTsHRb62c_CSESoAcLthFRS2b2cMNECNR3bGEIB0v7g66Gx9QQ07q15gATP2BTv8nN0rG6MFBBk2gyDm7ntwiCa4-fueIrT-3ZwY1OwdbFhHdrgAu3fg4f3eLxwkBwYaN-QQnn-AjpEF5_oHHKH74GY9HNT7N9hhPXoDDkiBG4bwUfCgCUh1gPjgUYmIh2cUQJVwQfGMKHS_9Pe4QcOiDx3WyX1sQFT0CcInxX0DgNLg4LHDEZESTxhwEuEy4gkPIrohKwnMEgK4dsAtGhCrBdgyAbU-QC4MoCsC_FIAv2OAuZxwView3wlrekI5n6D2J2QGEDoI7glg-oB3B_BcuP4NIvDOoAMOvWzvkCG7gg4esSfoFw8TBQWOHICYvcADfJQ4yH3AA5bQfXH7i23QQLgFD-vaW3RAMNxShA-HR42ACoQkQA9ORFg85UAKhQuNp0ywvoHsMO7QQb4G7jTuOIDhgdhxPNYIygAfo9AAge5Afs0yEBW0fwYIkiHSZLBIGSpX8OEyUMIMEzPDZc2AgTN06gwYPbCrIQ8ZQHkAvj7ykAcYO6grJs_1grMMMn6hkQO_qvLvTAPS3fdX_364b3tV7Em5ho2-2VNc5bUn5dmas3nEsux4VJVSaJLK76Udj8f0TZLbm1qX7dFcUnvznWqap7y0QutPkh_SfpIWzh-boapL7aS2v77ZTtzdbjcelYukzJJMjOQiTmMez-IsmY32iyxJ5TyZbFMRSxnPsnwWTbaynJfRZBsXnI_Ugkd8Ek2iJJ4lPI7GWZHM83iezgqeFmlZskkk34XSY60_3sfG7kbKuVou5uk0Tkda5FK79sZMzmW1F1Uh32UzOjnjr4zzQotqx5JlqcSuMs6rwjXHpquRXTSIL3m9c2wSaeW86zi88rq93_O1_f50RWtrjSWRm9pT7SSZ7UUGYrOo6_lZ1HRbXVWykM4Jq_QnfUibGydHtdWLmxtDld_X-bgw74xvGvrT08vBmr9l4RnftO11jG_aJv8TAAD__65kQ1Q">