Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-06-15 | dialyzer: Modify warning for comparison of opaque types | Hans Bolinder | |
Comparing two operands for (in)equality is allowed if both operands are of the same unknown opaque type. Since OTP 17, there is a warning if the types of the operands have nothing in common (this cannot happen before OTP 17). However, the warning says there is a test between opaque types, which is wrong. The warning now states that the comparison cannot evaluate to 'true', which is more consistent. |