Function convert_all_ty 

pub fn convert_all_ty<'a>(
    tys: impl IntoIterator<Item = &'a Type> + 'a,
) -> Option<&'a Type>

Performs overload resolution (find the type that all others can be automatically converted to)