beam_ssa_type: Remove clause in arith_op_types/2 that can't match

Remove the following clause from the `fun` clauses in arith_op_types/2
because it cannot possibly match:

    (_, any) -> number;

Here is why it cannot match:

The second argument is the accumulator for lists:foldl/3.
Its initial value is `unknown`.

None of the clauses will update the accumulator to `any`, including
the clause that matches `any` in the first argument -- it will set the
accumulator to `number`.

Thus, the accumulator (second argument) can never be `any` and
the clause can never match. QED.

1 files changed, 0 insertions, 1 deletions

diff --git a/lib/compiler/src/beam_ssa_type.erl b/lib/compiler/src/beam_ssa_type.erl
index 2ba0f732f6..7ef64c0c4d 100644
--- a/lib/compiler/src/beam_ssa_type.erl
+++ b/lib/compiler/src/beam_ssa_type.erl
@@ -491,7 +491,6 @@ arith_op_type(Args, Ts) ->
              (number, #t_integer{}) -> number;
              (number, float) -> float;
              (any, _) -> number;
-             (_, any) -> number;
              (Same, Same) -> Same;
              (_, _) -> none
           end, unknown, Types).