Requires type T to be explicitly convertible to type U. If type T is explicitly convertible to U, it can be casted to U.