[erlang-bugs] Dialyzer crashes with Solver v2 failed: error:function_clause

[Hans Bolinder]

Hi,

[ILYA:]
> Following spec causes dialyzer to crash
>
> -opaque att() :: #att{} | attachment().
> More info is here https://gist.github.com/iilyak/25a2534b65b6972bf251

The bug was fixed in commit d57dea02 (OTP 18.1).

Best regards,

Hans Bolinder, Erlang/OTP team, Ericsson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20150902/9bd285aa/attachment.htm>