erlc folds away an unused map update that should throw an exception

[RobinMorisset]

To Reproduce
Running the following code:

f1() ->
    (#{}#{ok := ok}),
    'hello'.

wrapper0() ->
    io:write(catch f1()).

with the following:

erlc ~/minimized/divergence.erl
erl -noshell -pa . -s divergence wrapper0 -s init stop

outputs hello.

Expected behavior
I would expect a tuple containing an exception, since the map update operation is supposed to throw with badarg in this context (https://www.erlang.org/doc/reference_manual/expressions.html#map-expressions).

Affected versions
master

Additional context
Giving the argument +no_fold to erlc fixes this bug, resulting in the following output:

{'EXIT',{{badkey,ok},[{divergence,f1,0,[{file,[47,104,111,109,101,47,114,109,111,114,105,115,115,101,116,47,109,105,110,105,109,105,122,101,100,47,100,105,118,101,114,103,101,110,99,101,46,101,114,108]},{line,13}]},{divergence,wrapper0,0,[{file,[47,104,111,109,101,47,114,109,111,114,105,115,115,101,116,47,109,105,110,105,109,105,122,101,100,47,100,105,118,101,114,103,101,110,99,101,46,101,114,108]},{line,17}]},{init,start_em,1,[]},{init,do_boot,3,[]}]}}

[RobinMorisset]

A much more minor weirdness is that the documentation predicts a badarg exception, but even with +no_fold I am getting a badkey exception. I suspect this just a small typo in the documentation.

[bjorng]

I have fixed documentation typo in a commit directly on the master branch.