<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi,<br>
<br>
[ILYA:]<br>
> Following spec causes dialyzer to crash<br>
><br>
> -opaque att() :: #att{} | attachment().<br>
> More info is here https://gist.github.com/iilyak/25a2534b65b6972bf251<br>
<br>
The bug was fixed in commit d57dea02 (OTP 18.1).<br>
<br>
Best regards,<br>
<br>
Hans Bolinder, Erlang/OTP team, Ericsson<br>
<br>
</div>
</body>
</html>