Dialyzed is great, but it’s spec are not part of the actuall implementation. You can have perfectly valid code and dialyzed warnings because of wrong types (lot of libraries have wrong dialyzed types, or at least incomplete ones). Or you can have bugs in code, but no dialyzer warnings because of, again, wrong specs.
