https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106784
Bug ID: 106784
Summary: Add __is_convertible built-in
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: redi at gcc dot gnu.org
Target Milestone: ---
This is supported by Clang already, and would be very beneficial for libstdc++.
The std::is_convertible (and is_nothrow_convertible) type trait is used widely
in the std::lib, but is currently implemented in pure C++ as a class template.
A built-in would improve compile times.
We already have __is_constructible and __is_assignable, and the nothrow forms
of those.