[erlc] internal consistency check failed on bs_match

[RobinMorisset]

On master,

f(<<_>>) ->
    ok;
f(X) ->
    try
        try X of
            #{(not ok) := _} ->
                ok;
            <<Z, Z>> ->
                ok
        after
            ok
        end
    catch
        _ ->
            ok
    end,
    X.

crashes erlc with:

final_bs_match:1: function f/1+20:
  Internal consistency check failed - please report this bug.
  Instruction: {bs_match,{f,0},
                         {y,1},
                         {commands,[{integer,2,{literal,[]},8,1,{x,2}}]}}
  Error:       throws_exception: