Dialyzer complains about deletion functions about pathex HOT 5 CLOSED

Yeah, this warning is true, because Pathex generates clauses which handle {:ok, result} | :error | :delete_me type, but paths created with path/2 macro return only {:ok, result} | :error type.

However, this warning can't be disabled in pathex, because path and delete are macro, thus they're expanded at compile-time and the dialyzer won't be capable to find that this warning is disabled

You can use this regex in .dialyzer_ignore.exs to disable the warning

  ~r/.*pattern_match The pattern can never match the type :error | {:ok, .*}/

from pathex.

Thanks for the explanation. Shame it can't be solved at the library level. mix dialyzer does respect the suggested disable file, while ElixirLS, unfortunately, does not.

from pathex.