beam_ssa_type: Skip impossible branches
beam_ssa_type: Skip impossible branches

Whenever there's a type conflict during type inference we know
that the branch will not be taken. Previously we'd go down the
branch with garbage type information which would crash in some
cases.

There's no test case for the crashes because the ones I've found
require union types to happen, and we already have good coverage
once they're in place.

g-andrade/otp,vinoski/otp,potatosalad/otp,mikpe/otp,bjorng/otp,lrascao/otp,g-andrade/otp,isvilen/otp,lrascao/otp,emacsmirror/erlang,emacsmirror/erlang,jj1bdx/otp,dgud/otp,getong/otp,erlang/otp,bjorng/otp,isvilen/otp,erlang/otp,electricimp/otp,potatosalad/otp,electricimp/otp,dgud/otp,RoadRunnr/otp,vinoski/otp,lrascao/otp,getong/otp,vinoski/otp,ferd/otp,dgud/otp,kvakvs/otp,vladdu/otp,lrascao/otp,lrascao/otp,mikpe/otp,RoadRunnr/otp,isvilen/otp,uabboli/otp,vladdu/otp,mikpe/otp,erlang/otp,potatosalad/otp,electricimp/otp,bjorng/otp,uabboli/otp,vladdu/otp,isvilen/otp,erlang/otp,mikpe/otp,isvilen/otp,dumbbell/otp,lrascao/otp,emacsmirror/erlang,vinoski/otp,g-andrade/otp,g-andrade/otp,dumbbell/otp,kvakvs/otp,ferd/otp,bjorng/otp,g-andrade/otp,dumbbell/otp,dgud/otp,mikpe/otp,jj1bdx/otp,RoadRunnr/otp,vladdu/otp,g-andrade/otp,ferd/otp,dumbbell/otp,rlipscombe/otp,vinoski/otp,jj1bdx/otp,vladdu/otp,bjorng/otp,rlipscombe/otp,getong/otp,rlipscombe/otp,kvakvs/otp,jj1bdx/otp,dgud/otp,emacsmirror/erlang,vinoski/otp,mikpe/otp,RoadRunnr/otp,dumbbell/otp,isvilen/otp,vinoski/otp,erlang/otp,emacsmirror/erlang,potatosalad/otp,rlipscombe/otp,rlipscombe/otp,mikpe/otp,electricimp/otp,emacsmirror/erlang,rlipscombe/otp,g-andrade/otp,kvakvs/otp,jj1bdx/otp,potatosalad/otp,jj1bdx/otp,dumbbell/otp,vinoski/otp,RoadRunnr/otp,getong/otp,lrascao/otp,jj1bdx/otp,emacsmirror/erlang,dgud/otp,isvilen/otp,isvilen/otp,RoadRunnr/otp,getong/otp,erlang/otp,electricimp/otp,bjorng/otp,RoadRunnr/otp,erlang/otp,isvilen/otp,dgud/otp,getong/otp,RoadRunnr/otp,ferd/otp,vinoski/otp,potatosalad/otp,dumbbell/otp,bjorng/otp,electricimp/otp,dumbbell/otp,getong/otp,getong/otp,getong/otp,bjorng/otp,vladdu/otp,electricimp/otp,kvakvs/otp,vladdu/otp,uabboli/otp,bjorng/otp,kvakvs/otp,potatosalad/otp,lrascao/otp,rlipscombe/otp,lrascao/otp,jj1bdx/otp,rlipscombe/otp,kvakvs/otp,electricimp/otp,uabboli/otp,mikpe/otp,uabboli/otp,emacsmirror/erlang,electricimp/otp,potatosalad/otp,dumbbell/otp,vinoski/otp,dumbbell/otp,potatosalad/otp,mikpe/otp,vladdu/otp,dgud/otp,uabboli/otp,bjorng/otp,erlang/otp,ferd/otp,rlipscombe/otp,isvilen/otp,vladdu/otp,kvakvs/otp,uabboli/otp,RoadRunnr/otp,dgud/otp,jj1bdx/otp,mikpe/otp,uabboli/otp,erlang/otp,ferd/otp,rlipscombe/otp,kvakvs/otp,erlang/otp,g-andrade/otp,uabboli/otp,dgud/otp,jj1bdx/otp,getong/otp,ferd/otp,g-andrade/otp,ferd/otp,emacsmirror/erlang,potatosalad/otp,g-andrade/otp,emacsmirror/erlang,ferd/otp