蛋疼的erlang dialyzer

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}).

给元组加上一个tag，限定一下范围，dialyzer就不再报错了。