<div dir="ltr">I noticed today that dialyzer was failing to catch errors.<br clear="all"><div><br></div><div>Research led me to a previous question on this mailing list where José quoted a note in the <a href="http://erlang.org/doc/reference_manual/typespec.html" target="_blank">typespec reference</a> stating "No type information of maps pairs, only the containing map types,
      are used by Dialyzer in OTP 17."<br><br></div><div>2 Questions:<br></div><div> - is this also true in OTP 18<br></div><div> - is there somewhere I can track and/or contribute to this issue?<br><br></div><div>(sorry if duplicate - seems my question did not go through yesterday)<br></div>
</div>