template <class From, class To> struct is_convertible;
An instance of the type predicate holds true if the expression To to = from;, where from is an object of type From, is well-formed.