[dialyzer] crash in dialyzer_typesig

[RobinMorisset]

On master, the following code:

-module(dia3).
-compile([export_all]).

f(#{<<{}>> := X}) ->
    X;
f(X) when X; <<X:X>> ->
    f(X),
    X.

crashes dialyzer with the following error message:

dialyzer: Analysis failed with error:
{function_clause,[{erl_types,number_max2,
                             [unit],
                             [{file,"erl_types.erl"},{line,2532}]},
                  {dialyzer_typesig,'-bitstr_val_constr/3-fun-0-',4,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,1067}]},
                  {dialyzer_typesig,solve_one_c,2,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,2230}]},
                  {dialyzer_typesig,v2_solve,3,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,1858}]},
                  {dialyzer_typesig,v2_solve_conj,12,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,2065}]},
                  {dialyzer_typesig,v2_solve_disj,10,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,1993}]},
                  {dialyzer_typesig,v2_solve_disjunct,3,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,1956}]},
                  {dialyzer_typesig,v2_solve_conj,12,
                                    [{file,"dialyzer_typesig.erl"},
                                     {line,2065}]}]}