Resolution: Not a Bug
Affects Version/s: None
Fix Version/s: None
The following `toto.erl` module fails Dialyzer (or vice-versa ):
That's pretty smart: if we pass callee1(X), that means the only possible value is indeed 'ok'.
But in Erlang, the order or evaluation is unspecified. That means `callee2` could be called first.
- No warning
- Better: ability to disable this particular warning.
By the way, it would be very nice if Dialyzer could give more context about how it inferred its type (and inform about the assumed evaluation order).