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

    <tr>
        <th>Summary</th>
        <td>
            clang rejects default constexpr operator of a templated type when instantiated with non-constexpr comparable object
        </td>
    </tr>

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

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

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

<pre>
    I was writing a generic code and found an issue with defaulted comparison operator if they are constexpr in a template, and then I instantiate it with non-constexpr comparable type. I think it should be accepted, especially if I write this code manually the constexpr-ness will be downgraded silently.

https://compiler-explorer.com/z/4fbasY6Pb
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEkjGTmzAQhX-NaHbsEQIbu6C45IYZd2lTLtICygmJkZZwzq_PCF9yTpUGCnhv39tvMSU7eqJWnL6I02uBK08hthN6q9_QBC76YO7tDTZMsEXL1o-AMJKnaDXoYAjQGxjC6g2gB5vSSrBZnsDQgKtjMqDDvGC0KXgIC0XkEMEOwBPdASOBDj4xvS8RrAcEpnlxyCTU192cJ_JwA-sTo2eLTGD5McMHf_hUP-Zg7wj4vtARbsCT9W_59zSF1RnoCVBrWphMtqe0kLbo3D0Huu0VKYvSo9uMft2_8vQU8-ApJdisc9nPhM2PEQ0ZSNaRZ3c_Cvkq5MvjOTEvSVQvQnVCdTmjdRQP9L64ECkedZiF6n4J1dVDj-n7-VtfmLYy1-qKBbXlubmU11Key2Jqa3mtT1XTKGkuFVUX3ZwvUpa6vshGaaML2yqpKlnJplRlKcujbHQzDFgPvWlqSSRqSTNad3Tu53wMcSx2ZO25VNWlcNiTS_s1KOVpe_AUSuXjiG3WHPp1TKKWziZOny5s2VGrHfoRIv0gzenPBTzx_Ys_DE-gzY4Ltsz5ibL5D-PQ5zHFGl37745Hy9Pafyw2J_x4HZYYskSobu-VhOr23r8DAAD__xsGC5M">