Function match_bin_op 

pub(crate) fn match_bin_op(
    op: BinOp,
    bty1: &BaseTy,
    idx1: &Expr,
    bty2: &BaseTy,
    idx2: &Expr,
    overflow_mode: OverflowMode,
) -> MatchedRule