Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-04-28 | dialyzer_contracts: Consider #{} a violation | Magnus Lång | |
This is analogous to the case of nil. Since #{} is a base-case of almost all map types, contract and success typing sharing #{} does not mean much, and is often sign of a violation. |