dialyzer：erlang的静态代码分析工具
-module(module1).
-export([main/0]).
-export_type([my_tup2/0]).
-opaque my_tup2() :: {atom(), atom()}.
-spec foo5(my_tup2())-> ok.
foo5({_, _}) -> ok.
main() ->
foo5({a, b}).这段代码，使用dialyzer分析居然报错
按照learnyousomeerlang作者的说法，dialyzer对opaue的分析，还是有问题的，如果上面的代码改为如下：
-module(module1).
-export([main/0]).
-export_type([my_tup2/0]).
-opaque my_tup2() :: {my_tup2, atom(), atom()}.
-spec foo5(my_tup2())-> ok.
foo5({my_tup2, _, _}) -> ok.
main() ->
foo5({my_tup2, a, b}).
