To be fair, at least Dialyzer never claimed it didn't give false positives - that's an inherent property of success typing: it.uu.se/research/group But I agree that it's unnerving to have it miss simple mistakes and greatly reduces its utility. Not the nicest UX in practice.
This Tweet was deleted by the Tweet author. Learn more