<div dir="ltr"><div><div><div><div><div>Hi,<br><br></div>If a function is removed from a module and the module has previously been added to a PLT, the function will not be removed from PLT when the PLT is checked. This results in dialyzer failing to produce a callgraph warning when doing success typings analysis if the remove function is still called in another module<br><br></div>As the function is not removed from the PLT a prior warning, such as a contract types warning, might be emitted when the removed function nolonger exists.<br><br></div>I have attached an archive with a minimal example, which prints a contract types warning instead of a callgraph warning. This example has been tested on OTP R15B03 and 17.4.<br><br></div>Regards,<br><br></div>James<br></div>