Concept definition

template<typename _From, typename _To>
concept std::convertible_to =  is_convertible_v<_From, _To>
      && requires { static_cast<_To>(std::declval<_From>()); }

Detailed Description

[concept.convertible], concept convertible_to

Definition at line 72 of file concepts.