Dialyzer with unmatched case

I had similar question in this post.

TLDR;

@michalmuskala Dialyzer will report errors only if they will always happen, not if they might happen.

@peerreynders Dialyzer assumes you are right until it can prove you wrong.

1 Like