<div dir="ltr"><div>Hi,<br><br>It looks like my previous report (from different email address) didn't go through.<br><br></div>Following spec causes dialyzer to crash<br><div><br><code>-opaque att() :: #att{} | attachment().<br><br>More info is here<br></code><a href="https://gist.github.com/iilyak/25a2534b65b6972bf251">https://gist.github.com/iilyak/25a2534b65b6972bf251</a><br><br></div><div>Is it a known issue?<br></div><div><br></div><div>BR,<br></div><div>ILYA<br></div></div>