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

Correction of commit d57f5e.

emacsmirror/erlang,ferd/otp,derek121/otp,aboroska/otp,lrascao/otp,massemanet/otp,potatosalad/otp,johanclaesson/otp,potatosalad/otp,lightcyphers/otp,derek121/otp,getong/otp,emacsmirror/erlang,tuncer/otp,RoadRunnr/otp,dumbbell/otp,jj1bdx/otp,ferd/otp,weisslj/otp,hairyhum/otp,rlipscombe/otp,jj1bdx/otp,johanclaesson/otp,lrascao/otp,getong/otp,psyeugenic/otp,dgud/otp,release-project/otp,g-andrade/otp,basho/otp,vinoski/otp,emacsmirror/erlang,getong/otp,weisslj/otp,jj1bdx/otp,dgud/otp,legoscia/otp,neeraj9/otp,electricimp/otp,uabboli/otp,bugs-erlang-org/otp,falkevik/otp,potatosalad/otp,fenollp/otp,derek121/otp,getong/otp,aboroska/otp,erlang/otp,weisslj/otp,fenollp/otp,ahmedshafeeq/otp,derek121/otp,johanclaesson/otp,vladdu/otp,emile/otp,falkevik/otp,dumbbell/otp,emacsmirror/erlang,bjorng/otp,emacsmirror/erlang,mikpe/otp,weisslj/otp,bernardd/otp,ahmedshafeeq/otp,vinoski/otp,matwey/otp,vladdu/otp,vladdu/otp,electricimp/otp,mikpe/otp,bjorng/otp,bernardd/otp,bugs-erlang-org/otp,goertzenator/otp,kvakvs/otp,basho/otp,RaimoNiskanen/otp,kvakvs/otp,mikpe/otp,fenollp/otp,massemanet/otp,RoadRunnr/otp,lemenkov/otp,msantos/otp,release-project/otp,uabboli/otp,uabboli/otp,basho/otp,goertzenator/otp,falkevik/otp,derek121/otp,potatosalad/otp,bsmr-erlang/otp,kvakvs/otp,mikpe/otp,legoscia/otp,lrascao/otp,bernardd/otp,release-project/otp,vladdu/otp,lightcyphers/otp,erlang/otp,tuncer/otp,massemanet/otp,kvakvs/otp,falkevik/otp,lemenkov/otp,RaimoNiskanen/otp,cobusc/otp,dgud/otp,goertzenator/otp,mikpe/otp,jj1bdx/otp,matwey/otp,cobusc/otp,aboroska/otp,isvilen/otp,aboroska/otp,matwey/otp,psyeugenic/otp,ahmedshafeeq/otp,bjorng/otp,bernardd/otp,goertzenator/otp,bsmr-erlang/otp,bsmr-erlang/otp,dumbbell/otp,basho/otp,fenollp/otp,vinoski/otp,bsmr-erlang/otp,bsmr-erlang/otp,RaimoNiskanen/otp,ferd/otp,saleyn/otp,lrascao/otp,fenollp/otp,g-andrade/otp,isvilen/otp,bsmr-erlang/otp,saleyn/otp,getong/otp,lightcyphers/otp,tuncer/otp,isvilen/otp,saleyn/otp,ahmedshafeeq/otp,fenollp/otp,goertzenator/otp,rlipscombe/otp,lightcyphers/otp,derek121/otp,saleyn/otp,erlang/otp,g-andrade/otp,electricimp/otp,isvilen/otp,dumbbell/otp,emacsmirror/erlang,hairyhum/otp,ahmedshafeeq/otp,emile/otp,basho/otp,hairyhum/otp,release-project/otp,isvilen/otp,vladdu/otp,psyeugenic/otp,massemanet/otp,falkevik/otp,g-andrade/otp,goertzenator/otp,jj1bdx/otp,vinoski/otp,uabboli/otp,dgud/otp,jj1bdx/otp,dumbbell/otp,release-project/otp,ahmedshafeeq/otp,matwey/otp,johanclaesson/otp,massemanet/otp,cobusc/otp,erlang/otp,basho/otp,release-project/otp,RoadRunnr/otp,vinoski/otp,mikpe/otp,basho/otp,bsmr-erlang/otp,msantos/otp,saleyn/otp,goertzenator/otp,rlipscombe/otp,vinoski/otp,tuncer/otp,rlipscombe/otp,isvilen/otp,cobusc/otp,goertzenator/otp,bjorng/otp,rlipscombe/otp,RoadRunnr/otp,goertzenator/otp,dgud/otp,lrascao/otp,massemanet/otp,bsmr-erlang/otp,kvakvs/otp,emile/otp,aboroska/otp,g-andrade/otp,rlipscombe/otp,isvilen/otp,bjorng/otp,fenollp/otp,electricimp/otp,bugs-erlang-org/otp,emile/otp,bjorng/otp,legoscia/otp,erlang/otp,saleyn/otp,falkevik/otp,ferd/otp,legoscia/otp,saleyn/otp,psyeugenic/otp,uabboli/otp,RoadRunnr/otp,saleyn/otp,hairyhum/otp,lightcyphers/otp,falkevik/otp,bernardd/otp,psyeugenic/otp,bjorng/otp,lrascao/otp,RaimoNiskanen/otp,uabboli/otp,g-andrade/otp,mikpe/otp,release-project/otp,ferd/otp,dgud/otp,g-andrade/otp,bjorng/otp,uabboli/otp,psyeugenic/otp,psyeugenic/otp,dgud/otp,legoscia/otp,bernardd/otp,g-andrade/otp,fenollp/otp,hairyhum/otp,rlipscombe/otp,RoadRunnr/otp,electricimp/otp,vladdu/otp,weisslj/otp,potatosalad/otp,neeraj9/otp,weisslj/otp,bernardd/otp,hairyhum/otp,neeraj9/otp,vladdu/otp,getong/otp,RoadRunnr/otp,g-andrade/otp,johanclaesson/otp,release-project/otp,johanclaesson/otp,rlipscombe/otp,potatosalad/otp,cobusc/otp,emacsmirror/erlang,cobusc/otp,derek121/otp,jj1bdx/otp,kvakvs/otp,fenollp/otp,vinoski/otp,vladdu/otp,lightcyphers/otp,tuncer/otp,msantos/otp,bernardd/otp,release-project/otp,johanclaesson/otp,lrascao/otp,weisslj/otp,potatosalad/otp,lemenkov/otp,lemenkov/otp,dumbbell/otp,kvakvs/otp,electricimp/otp,lemenkov/otp,legoscia/otp,ferd/otp,neeraj9/otp,RaimoNiskanen/otp,potatosalad/otp,emile/otp,psyeugenic/otp,aboroska/otp,lightcyphers/otp,aboroska/otp,aboroska/otp,neeraj9/otp,vinoski/otp,massemanet/otp,potatosalad/otp,emile/otp,matwey/otp,tuncer/otp,ahmedshafeeq/otp,lemenkov/otp,rlipscombe/otp,neeraj9/otp,legoscia/otp,lemenkov/otp,emacsmirror/erlang,RaimoNiskanen/otp,tuncer/otp,getong/otp,aboroska/otp,ferd/otp,saleyn/otp,matwey/otp,hairyhum/otp,jj1bdx/otp,matwey/otp,bugs-erlang-org/otp,falkevik/otp,tuncer/otp,msantos/otp,erlang/otp,potatosalad/otp,uabboli/otp,dgud/otp,erlang/otp,vinoski/otp,legoscia/otp,matwey/otp,lrascao/otp,basho/otp,emacsmirror/erlang,cobusc/otp,msantos/otp,ahmedshafeeq/otp,lrascao/otp,erlang/otp,getong/otp,msantos/otp,getong/otp,msantos/otp,emile/otp,isvilen/otp,electricimp/otp,uabboli/otp,matwey/otp,bugs-erlang-org/otp,dgud/otp,isvilen/otp,ferd/otp,vladdu/otp,johanclaesson/otp,weisslj/otp,dumbbell/otp,electricimp/otp,dumbbell/otp,bugs-erlang-org/otp,bugs-erlang-org/otp,RaimoNiskanen/otp,electricimp/otp,emacsmirror/erlang,erlang/otp,massemanet/otp,legoscia/otp,falkevik/otp,massemanet/otp,ferd/otp,kvakvs/otp,basho/otp,neeraj9/otp,jj1bdx/otp,jj1bdx/otp,ahmedshafeeq/otp,RaimoNiskanen/otp,emile/otp,mikpe/otp,lightcyphers/otp,rlipscombe/otp,neeraj9/otp,bsmr-erlang/otp,weisslj/otp,bjorng/otp,mikpe/otp,emile/otp,lemenkov/otp,msantos/otp,tuncer/otp,hairyhum/otp,getong/otp,RaimoNiskanen/otp,derek121/otp,dumbbell/otp,RoadRunnr/otp,vinoski/otp,dgud/otp,dumbbell/otp,bernardd/otp,kvakvs/otp,RoadRunnr/otp,cobusc/otp,bugs-erlang-org/otp,bjorng/otp,erlang/otp,mikpe/otp,g-andrade/otp,isvilen/otp