pub fn conversion_rank(ty1: &Type, ty2: &Type) -> Option<u32>
Implements the conversion rank algorithm