[erlc] Internal consistency check failed: bad_arg_type

[RobinMorisset]

On master:

f() ->
    [
        ok
     || <<X>> <= <<>>,
        <<Y:X>> <= <<>>,
        0 > Y,
        [
            Y
         || _ <- []
        ]
    ].

causes erlc to crash with the following error message:

bad_arg_type:1: function '-f/0-lc$^2/1-1-'/3+15:
  Internal consistency check failed - please report this bug.
  Instruction: {call,2,{f,23}}
  Error:       {bad_arg_type,{x,1},
                             {t_integer,{0,255}},
                             {t_integer,{'-inf',-1}}}:

It is not fixed by #6642