In practice it is much worse because Elixir's structs boil down to maps with a special key, and the analysis in Dialyzer can get confused there because it works them with Erlang's map semantics rather than Elixir's.

Far more Elixir developers I know have just given up on using Dialyzer altogether than the Erlang devs I know.