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

[Kostis Sagonas]

On 08/21/2015 01:44 AM, ILYA Khlopotov wrote:
> 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?

No, it's an unknown issue which also appears in the current 'maint'. 
We'll look into it.  Thanks for your report.

Kostis