
<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>