Function resolve_numeric_result_ty

fn resolve_numeric_result_ty(
    lhs: &Ty,
    rhs: &Ty,
    expected: Option<&Ty>,
) -> Option<Ty>