std::derived_from

#include <concepts>

template<typename _Derived, typename _Base>
concept std::derived_from =  __is_base_of(_Base, _Derived)
      && is_convertible_v<const volatile _Derived*, const volatile _Base*>

[concept.derived], concept derived_from

Generated automatically by Doxygen for libstdc++ from the source code.