dialyzer: Correct the handling of parameters of opaque types
dialyzer: Correct the handling of parameters of opaque types

Prior to this commit, the fact that parameters of opaque types are
expanded differently depending on the current values of limits used
during expansion, caused problems later when the types of parameters
are used for determining if opaque types are comparable.

enikki/otp,mikpe/otp,jinshana/otp,bjorng/otp,mikpe/otp,entropiae/otp,aboroska/otp,falkevik/otp,bernardd/otp,bugs-erlang-org/otp,isvilen/otp,theom/otp,platinumthinker/otp,goertzenator/otp,ferd/otp,entropiae/otp,massemanet/otp,basho/otp,dgud/otp,lrascao/otp,emacsmirror/erlang,jemsbhai/otp,jj1bdx/otp,palas/otp,neeraj9/otp,kvakvs/otp,massemanet/otp,aboroska/otp,bernardd/otp,emacsmirror/erlang,kvakvs/otp,theom/otp,dgud/otp,legoscia/otp,emile/otp,aboroska/otp,lemenkov/otp,platinumthinker/otp,emacsmirror/erlang,msantos/otp,lucafavatella/otp,sitexa/otp,platinumthinker/otp,benoitc/otp-1,emacsmirror/erlang,getong/otp,theom/otp,getong/otp,jemsbhai/otp,uabboli/otp,NOMORECOFFEE/otp,isvilen/otp,erlang/otp,erlang/otp,hairyhum/otp,uabboli/otp,enikki/otp,rlipscombe/otp,hairyhum/otp,lightcyphers/otp,isvilen/otp,legoscia/otp,uabboli/otp,dumbbell/otp,massemanet/otp,psyeugenic/otp,beni55/otp,mikpe/otp,saleyn/otp,emile/otp,msantos/otp,falkevik/otp,mikpe/otp,matwey/otp,NOMORECOFFEE/otp,RoadRunnr/otp,tuncer/otp,mikpe/otp,RoadRunnr/otp,jinshana/otp,jamesruan/otp,electricimp/otp,RaimoNiskanen/otp,lucafavatella/otp,getong/otp,release-project/otp,isvilen/otp,erlang/otp,jinshana/otp,lantti/otp,neeraj9/otp,vinoski/otp,weisslj/otp,beni55/otp,weisslj/otp,neeraj9/otp,platinumthinker/otp,kvakvs/otp,kvakvs/otp,jinshana/otp,beni55/otp,vinoski/otp,beni55/otp,cobusc/otp,beni55/otp,derek121/otp,bjorng/otp,c-rack/otp,msantos/otp,palas/otp,psyeugenic/otp,electricimp/otp,g-andrade/otp,benoitc/otp-1,saleyn/otp,RoadRunnr/otp,potatosalad/otp,psyeugenic/otp,ferd/otp,riverrun/otp,lrascao/otp,kvakvs/otp,weisslj/otp,RaimoNiskanen/otp,hairyhum/otp,RoadRunnr/otp,entropiae/otp,getong/otp,lrascao/otp,johanclaesson/otp,bjorng/otp,dgud/otp,palas/otp,theom/otp,uabboli/otp,vinoski/otp,enikki/otp,jj1bdx/otp,jamesruan/otp,emile/otp,RoadRunnr/otp,rlipscombe/otp,lemenkov/otp,release-project/otp,ferd/otp,rlipscombe/otp,uabboli/otp,jinshana/otp,johanclaesson/otp,jj1bdx/otp,getong/otp,derek121/otp,jemsbhai/otp,c-rack/otp,ferd/otp,potatosalad/otp,emile/otp,saleyn/otp,jinshana/otp,isvilen/otp,dgud/otp,dumbbell/otp,emacsmirror/erlang,entropiae/otp,matwey/otp,lrascao/otp,msantos/otp,basho/otp,massemanet/otp,bjorng/otp,tuncer/otp,riverrun/otp,jamesruan/otp,weisslj/otp,neeraj9/otp,lantti/otp,sitexa/otp,dumbbell/otp,derek121/otp,aboroska/otp,mikpe/otp,goertzenator/otp,legoscia/otp,erlang/otp,vinoski/otp,electricimp/otp,potatosalad/otp,basho/otp,bugs-erlang-org/otp,release-project/otp,psyeugenic/otp,jamesruan/otp,msantos/otp,jemsbhai/otp,theom/otp,vladdu/otp,lemenkov/otp,lightcyphers/otp,potatosalad/otp,bsmr-erlang/otp,tuncer/otp,goertzenator/otp,beni55/otp,ferd/otp,getong/otp,kvakvs/otp,msantos/otp,legoscia/otp,bsmr-erlang/otp,RaimoNiskanen/otp,psyeugenic/otp,rlipscombe/otp,theom/otp,massemanet/otp,lemenkov/otp,lightcyphers/otp,uabboli/otp,isvilen/otp,lantti/otp,dumbbell/otp,lightcyphers/otp,cobusc/otp,vladdu/otp,aboroska/otp,erlang/otp,potatosalad/otp,basho/otp,riverrun/otp,jamesruan/otp,entropiae/otp,riverrun/otp,RaimoNiskanen/otp,g-andrade/otp,lantti/otp,saleyn/otp,c-rack/otp,lrascao/otp,sitexa/otp,electricimp/otp,bjorng/otp,electricimp/otp,riverrun/otp,lucafavatella/otp,bugs-erlang-org/otp,weisslj/otp,emile/otp,bugs-erlang-org/otp,jamesruan/otp,ahmedshafeeq/otp,jamesruan/otp,NOMORECOFFEE/otp,vladdu/otp,massemanet/otp,jinshana/otp,msantos/otp,lemenkov/otp,jinshana/otp,RichMorin/otp,electricimp/otp,emacsmirror/erlang,aboroska/otp,bernardd/otp,bugs-erlang-org/otp,lucafavatella/otp,g-andrade/otp,RaimoNiskanen/otp,goertzenator/otp,lrascao/otp,lucafavatella/otp,rlipscombe/otp,vladdu/otp,isvilen/otp,basho/otp,NOMORECOFFEE/otp,erlang/otp,vladdu/otp,g-andrade/otp,RaimoNiskanen/otp,dgud/otp,ahmedshafeeq/otp,enikki/otp,aboroska/otp,riverrun/otp,jj1bdx/otp,psyeugenic/otp,emile/otp,basho/otp,hairyhum/otp,cobusc/otp,ferd/otp,psyeugenic/otp,cobusc/otp,c-rack/otp,theom/otp,legoscia/otp,isvilen/otp,bernardd/otp,bjorng/otp,tuncer/otp,dumbbell/otp,platinumthinker/otp,matwey/otp,c-rack/otp,goertzenator/otp,platinumthinker/otp,erlang/otp,basho/otp,palas/otp,bsmr-erlang/otp,ahmedshafeeq/otp,RoadRunnr/otp,bsmr-erlang/otp,jj1bdx/otp,sitexa/otp,bernardd/otp,vladdu/otp,bugs-erlang-org/otp,emacsmirror/erlang,g-andrade/otp,mikpe/otp,sitexa/otp,aboroska/otp,lrascao/otp,erlang/otp,RichMorin/otp,dumbbell/otp,platinumthinker/otp,johanclaesson/otp,jj1bdx/otp,rlipscombe/otp,derek121/otp,cobusc/otp,release-project/otp,RichMorin/otp,weisslj/otp,NOMORECOFFEE/otp,c-rack/otp,legoscia/otp,saleyn/otp,rlipscombe/otp,tuncer/otp,weisslj/otp,platinumthinker/otp,lemenkov/otp,palas/otp,fenollp/otp,bernardd/otp,dgud/otp,falkevik/otp,bjorng/otp,hairyhum/otp,derek121/otp,mikpe/otp,lucafavatella/otp,bjorng/otp,emile/otp,riverrun/otp,goertzenator/otp,saleyn/otp,bugs-erlang-org/otp,goertzenator/otp,dumbbell/otp,neeraj9/otp,rlipscombe/otp,lightcyphers/otp,rlipscombe/otp,jj1bdx/otp,lrascao/otp,dgud/otp,dumbbell/otp,jemsbhai/otp,g-andrade/otp,ahmedshafeeq/otp,massemanet/otp,sitexa/otp,tuncer/otp,bernardd/otp,benoitc/otp-1,matwey/otp,emacsmirror/erlang,release-project/otp,fenollp/otp,ferd/otp,goertzenator/otp,entropiae/otp,neeraj9/otp,dgud/otp,dgud/otp,benoitc/otp-1,falkevik/otp,benoitc/otp-1,vinoski/otp,enikki/otp,isvilen/otp,ahmedshafeeq/otp,vladdu/otp,RoadRunnr/otp,falkevik/otp,release-project/otp,bernardd/otp,uabboli/otp,saleyn/otp,ahmedshafeeq/otp,johanclaesson/otp,c-rack/otp,neeraj9/otp,vinoski/otp,matwey/otp,fenollp/otp,enikki/otp,derek121/otp,massemanet/otp,g-andrade/otp,mikpe/otp,bsmr-erlang/otp,sitexa/otp,release-project/otp,isvilen/otp,riverrun/otp,fenollp/otp,vladdu/otp,NOMORECOFFEE/otp,erlang/otp,falkevik/otp,benoitc/otp-1,bsmr-erlang/otp,sitexa/otp,RichMorin/otp,erlang/otp,getong/otp,benoitc/otp-1,RaimoNiskanen/otp,g-andrade/otp,jj1bdx/otp,jj1bdx/otp,johanclaesson/otp,falkevik/otp,c-rack/otp,potatosalad/otp,saleyn/otp,legoscia/otp,palas/otp,fenollp/otp,weisslj/otp,emile/otp,johanclaesson/otp,enikki/otp,ferd/otp,emacsmirror/erlang,dumbbell/otp,RichMorin/otp,neeraj9/otp,kvakvs/otp,mikpe/otp,matwey/otp,lightcyphers/otp,emacsmirror/erlang,vladdu/otp,bsmr-erlang/otp,hairyhum/otp,basho/otp,falkevik/otp,cobusc/otp,dgud/otp,ahmedshafeeq/otp,palas/otp,entropiae/otp,jemsbhai/otp,johanclaesson/otp,vinoski/otp,weisslj/otp,bugs-erlang-org/otp,entropiae/otp,fenollp/otp,emile/otp,lemenkov/otp,falkevik/otp,RaimoNiskanen/otp,ahmedshafeeq/otp,matwey/otp,jamesruan/otp,fenollp/otp,enikki/otp,derek121/otp,g-andrade/otp,aboroska/otp,getong/otp,potatosalad/otp,kvakvs/otp,tuncer/otp,lantti/otp,legoscia/otp,matwey/otp,lucafavatella/otp,ferd/otp,lantti/otp,vinoski/otp,lantti/otp,psyeugenic/otp,jj1bdx/otp,derek121/otp,basho/otp,hairyhum/otp,lantti/otp,cobusc/otp,legoscia/otp,bsmr-erlang/otp,goertzenator/otp,electricimp/otp,bsmr-erlang/otp,lrascao/otp,potatosalad/otp,release-project/otp,uabboli/otp,lightcyphers/otp,rlipscombe/otp,RichMorin/otp,potatosalad/otp,msantos/otp,release-project/otp,ahmedshafeeq/otp,bjorng/otp,jemsbhai/otp,tuncer/otp,massemanet/otp,palas/otp,vinoski/otp,fenollp/otp,RoadRunnr/otp,matwey/otp,saleyn/otp,cobusc/otp,NOMORECOFFEE/otp,getong/otp,benoitc/otp-1,bernardd/otp,potatosalad/otp,theom/otp,RichMorin/otp,kvakvs/otp,beni55/otp,bjorng/otp,fenollp/otp,lemenkov/otp,electricimp/otp,lightcyphers/otp,RichMorin/otp,jemsbhai/otp,g-andrade/otp,RoadRunnr/otp,electricimp/otp,beni55/otp,NOMORECOFFEE/otp,lucafavatella/otp,uabboli/otp,dumbbell/otp,johanclaesson/otp,hairyhum/otp,RaimoNiskanen/otp,vinoski/otp,tuncer/otp,getong/otp