[erlc] internal consistency error: bad_arg_type

[RobinMorisset]

Describe the bug
Running erlc on the following:

f(<<_V1/utf8>>) ->
    [0 || _ <- bnot (_V1 - 1)].

results in the following error message:

test486855:1: function f/1+14:
  Internal consistency check failed - please report this bug.
  Instruction: {call_only,1,{f,10}}
  Error:       {bad_arg_type,{x,0},
                             {t_integer,{-2228221,1}},
                             {t_integer,{-1114111,'+inf'}}}:

Affected versions

• master
• master + compiler: Eliminate the Kernel Erlang intermediate representation #7240

Additional context
Adding a negative number instead of substracting 1 very slightly changes the error message.
Either adding a positive number or substracting a negative one makes the bug disappear.