pub fn convert_ty<'a>(ty1: &'a Type, ty2: &'a Type) -> Option<&'a Type>Expand description
Performs overload resolution when two instances of T are involved (which is the most common). it just makes sure that the two types are the same. This is sufficient in most cases.