std::experimental::ranges::ConvertibleTo
From cppreference.com
                    
                                        
                    < cpp | experimental | ranges
                    
                                                            
                    | Defined in header  <experimental/ranges/concepts> | ||
| template < class T, class U > concept bool ConvertibleTo() { return /* see below */; } | (ranges TS) | |
The concept ConvertibleTo<T, U>() is satisfied if and only if std::is_convertible<T, U>::value is true.
[edit] Notes
Despite the use of std::is_convertible in its description, ConvertibleTo is not required to use it in its implementation. Thus, ConvertibleTo<T, U>() may not normalize tostd::is_convertible<T, U>::value during partial ordering of constraints.
[edit] See also
| (C++11) | checks if a type can be converted to the other type (class template) | 


