Erlang fails to compile valid code on tuple element guards

[ityonemo]

The following minimized code fails to compile:

-module(broken).
-export([bar/1]).

bar(X) ->
    case foo(X) of
        Tuple when element(1, Tuple) =:= ok ->
            ok;
        Tuple when element(1, Tuple) =:= error ->
            element(2, Tuple)
    end.

foo(X) ->
    case X of
        true -> {ok};
        false -> {error, <<"aaaa">>}
    end.

with the error:
Sub pass ssa_opt_type_continue

OTP 26-only

[jhogberg]

Thanks for your report! I've fixed it in #7489 :)