[erlc] internal consistency check failed: "illegal_branch, try_handler"

[RobinMorisset]

On master,

f(X, #{0 := X, 0 := Y}) ->
    try #{ok => ok} of
        Y ->
            bnot (Y = X)
    after
        ok
    end.

crashes erlc with the message:

consistency_try:1: function f/2+13:
  Internal consistency check failed - please report this bug.
  Instruction: {jump,{f,8}}
  Error:       {illegal_branch,try_handler,8}:

[RobinMorisset]

A couple of other testcases with the same error message:

f(X, Y) ->
    try Y of
        X ->
            (?MODULE:f1(
                try ([_ | _] = Y) of
                    X ->
                        ok
                after
                    ok
                end
            ) orelse X) bsl 0
    after
        ok
    end.

f1(_) ->
    ok.

and

f(X) ->
    {
        X ++ (X = get()),
        <<
            (ok):(catch (0 +
                try
                    [ok || _ <- []]
                catch
                    _ ->
                        X
                end))
        >>
    }.

[jhogberg]

Another variant:

f(X) when true; X ->
    - maybe
        <<>> ?= X,
        f(maybe
            0 ?= ([] =< ok)
        end),
        <<>> ?= ok
    else
        false  ->
            X;
        0  ->
            X
    end.

[jhogberg]

Another variant:

f(X) ->
    Y =
        try
            false = X
        catch
            _ ->
                ok
        end /= ok,
    X = Y,
    false = Y,
    0 = ok.

[bjorng]

Another variant:

f(X, #{0 := X, 0 := Y}, Y = [_ | _]) ->
    try
        Y = ok
    catch
        _ ->
            [_ | []] = Y = X
    end.

[RobinMorisset]

Another infinite loop in the compiler (same as #6599 (comment) above), this time without using maybe:

f(_, []) ->
    0;
f(X, _) ->
    ?MODULE:foo(
        <<>> =
            try f(ok, X) + 0 of
                X ->
                    X
            catch
                _ ->
                    X
            end
    );
f(_, _) ->
    ok.

I believe that it is a duplicate of this bug because it is fixed by #6619