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

[ILYA Khlopotov]

Hi,

It looks like my previous report (from different email address) didn't go
through.

Following spec causes dialyzer to crash

-opaque att() :: #att{} | attachment().

More info is here
https://gist.github.com/iilyak/25a2534b65b6972bf251

Is it a known issue?

BR,
ILYA
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20150820/3cc7f5a1/attachment.htm>