Special case binop arg inferring. When args are the same.