Fix incorrect optimization of setelement/3
Fix incorrect optimization of setelement/3

`beam_call_types` would assume that a call to `setelement/3`
would always fail for a tuple with known exact size and a position
that could be both inside and outside the tuple. That would make
the call to `setelement/3` tail-recursive and all code following
the call would be ignored.

This bug was introduced in 2ea04617d18b. It has already been fixed on
the `master` branch (in #5820) with an updated test case. To avoid
cumbersome merge conflicts, this commit don't include any test case.

dgud/otp,mikpe/otp,isvilen/otp,rlipscombe/otp,jj1bdx/otp,vinoski/otp,dgud/otp,erlang/otp,dgud/otp,potatosalad/otp,potatosalad/otp,emacsmirror/erlang,jj1bdx/otp,erlang/otp,dumbbell/otp,dgud/otp,vinoski/otp,bjorng/otp,bjorng/otp,g-andrade/otp,potatosalad/otp,isvilen/otp,mikpe/otp,bjorng/otp,bjorng/otp,g-andrade/otp,isvilen/otp,g-andrade/otp,isvilen/otp,mikpe/otp,mikpe/otp,potatosalad/otp,dumbbell/otp,mikpe/otp,potatosalad/otp,erlang/otp,potatosalad/otp,dgud/otp,emacsmirror/erlang,dgud/otp,vinoski/otp,rlipscombe/otp,dumbbell/otp,mikpe/otp,jj1bdx/otp,g-andrade/otp,dgud/otp,jj1bdx/otp,bjorng/otp,vinoski/otp,potatosalad/otp,dumbbell/otp,emacsmirror/erlang,rlipscombe/otp,g-andrade/otp,vinoski/otp,potatosalad/otp,mikpe/otp,jj1bdx/otp,bjorng/otp,g-andrade/otp,erlang/otp,jj1bdx/otp,erlang/otp,rlipscombe/otp,g-andrade/otp,erlang/otp,isvilen/otp,rlipscombe/otp,vinoski/otp,rlipscombe/otp,isvilen/otp,emacsmirror/erlang,mikpe/otp,dgud/otp,bjorng/otp,dgud/otp,bjorng/otp,emacsmirror/erlang,emacsmirror/erlang,dumbbell/otp,dumbbell/otp,jj1bdx/otp,emacsmirror/erlang,rlipscombe/otp,erlang/otp,vinoski/otp,rlipscombe/otp,g-andrade/otp,bjorng/otp,emacsmirror/erlang,g-andrade/otp,erlang/otp,jj1bdx/otp,isvilen/otp,bjorng/otp,dgud/otp,mikpe/otp,isvilen/otp,isvilen/otp,potatosalad/otp,vinoski/otp,dumbbell/otp,emacsmirror/erlang,erlang/otp,potatosalad/otp,dumbbell/otp,rlipscombe/otp,emacsmirror/erlang,vinoski/otp,erlang/otp,dumbbell/otp,dumbbell/otp,rlipscombe/otp,jj1bdx/otp,isvilen/otp,jj1bdx/otp,mikpe/otp,g-andrade/otp,vinoski/otp