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

    <tr>
        <th>Summary</th>
        <td>
            Teach __is_convertible extension about fixed point types
        </td>
    </tr>

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

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

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

<pre>
    `std::is_convertible` dispatches to this extension. Fixed point types are convertible to the other integral types and floating types according to [N1169](https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1169.pdf), so we should teach fixed point types to the extension.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkkb1u5DoMhZ9GboQYEv1fuEhu4OIWiy22H8gSbSvQSIZJZ5K3X3gyg9kglSCKpM53jiHyc0TsRfUiAH77_9MekASAqF4zs_OStv5ezcbkPntRK2InimdRPHs62RTfcWM_BhS1ks7TatguSJKT5MWTxA_GSD7FXA7-A51ck48s-XNFkmZD-c-KryGUiRfcpI-M82bCvTc6OYVk2Mf5XrI2be56T1JUL7-0rjtRvQpoF-aVDpkwCBgul0ueVoxPxC5P2yxgeGOrBQxkAY6GWZdffQIGlywJGOKxLV_dJKAT8J-kJC8oaUl7cJLR2EVOP4huBA_qzPWF64rOZNjrRtWtbqumzZZ-LMHZYtJVU5TQdp3WDXZ11dQOGoXTmPkeFJQKlAala93mqgVt1FRiYQs3jShKhWfjQx7C-_nAyjzRjn2riqLMghkx0C3aiBd5fbxlu_XHzNO4zyRKFTwxPbaw54D9nyvh6fQ95QeZNGPa-acF2b6F_rv9s-dlH3ObzgKG45vb8bRu6Q0tCxiu4g7Xr-L_BgAA____49x_">