Jeremy Huffman

Ok, I'll do one more release from master and then update configs and README for a new minimum Elixir version before merging this.

`persistent_term` is in app `:erts` which is included in the (Erlang PLT) apps list by default. I'm wondering if this could be reproduced in Erlang.

Can you give us the output of `mix dialyzer --format raw` please?

`dialyxir` doesn't run on source files at all, it looks at the compiled BEAM files in the ebin directory. I'd say its not commonly used on .erl files because Rebar...

Are you able to reproduce this? Also any chance you had previously installed Dialyxir as a mix archive?

I'd like to fix this, or at least have an adequate understanding and explanation of it before releasing 1.0. A lot of new users are still starting on 0.5 since...

@kenny-evitt The warning says "The pattern can never match the type." Do you have a suggested alternate wording?

It’s pretty routine and expected. The dependency might not even have a warning in its own code; the warning might only surface on the caller. If there is any path...

I'm open to a PR with changes along the lines you suggest to the README. I'm less enthusiastic about adding specific caveats about the analysis method to warnings or even...

What you are proposing to document is not a feature of this project though. It doesn't belong to dialyxir, its facts about the Erlang dialyzer.