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

    <tr>
        <th>Summary</th>
        <td>
            LWG3746: `optional`'s spaceship with `U` with a type derived from optional causes infinite constraint meta-recursion
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            libc++,
            c++23,
            lwg-issue
      </td>
    </tr>

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

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

<pre>
    **Link:** https://wg21.link/LWG3746
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxUkc-O3CwQxJ8GLmhGuP0H-8Bh9lv5u-w1yhlwj90JBgvwjPbtI3sniSIhoV-pKCja5ExzQNSsfWPtOzd7WWLSfqIYAnIbp0_N4Mbg9kHhJ6tvXyCWUrZ84shgfM5QXf1hgPHj-_-1ajo-6Xoa6sFw1JWCpupUP_R80Q7v1XBXg62k7YzCzuGgut72kwQ7qYaTBgmN7EFWbV3V7bVTfW1U41p3l9ZiyxqJqyF_9f6xXmOaOeW8o65kKyvFvbHo81kIwJN1DN7OBQz-YwAvhvqP4p_z5Yw4lPadJ30kX-w-Z9ZIT7nkv3cVKh71qyWrb4J1Mm6FYjCedZKByiJvxmFeaBNPKsvh-MY6-QVGlM8NxYSJHjiJe4qr-H1eOLNnzILCnQIVFC6GXJKhUMSKxVwSuj1lioHvyet_hzBTWXZ7dXFlMB7PfW2XLcUf6AqD8SyZGYyvr3po-BUAAP__QUyeWA">