Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dialyxer/Dialyzer error on clean install #6108

Open
the-destro opened this issue Feb 24, 2025 · 0 comments
Open

Dialyxer/Dialyzer error on clean install #6108

the-destro opened this issue Feb 24, 2025 · 0 comments

Comments

@the-destro
Copy link

Environment

  • Elixir version (elixir -v):
Erlang/OTP 27 [erts-15.1.1] [source] [64-bit] [smp:11:11] [ds:11:11:10] [async-threads:1] [jit]

Elixir 1.17.3 (compiled with Erlang/OTP 27)
  • Phoenix version (mix deps): phoenix 1.7.20
  • Operating system: macOS 15.3.1

Actual behavior

Setup is here: https://github.com/the-destro/dialyzer_bug

I created a brand new project via mix phx.new dialyzer_bug --no-html --no-assets --no-dashboard --no-mailer --no-gettext and added dialyxer. I plain run of mix dialyzer outputs:

[:asn1, :bandit, :castore, :compiler, :crypto, :db_connection, :decimal, :dialyzer_bug, :dns_cluster, :ecto, :ecto_sql, :eex, :elixir, :hpax, :jason, :kernel, :logger, :mime, :phoenix, :phoenix_ecto, :phoenix_pubsub, :phoenix_template, :plug, :plug_crypto, :postgrex, :public_key, :runtime_tools, :ssl, :stdlib, :telemetry, :telemetry_metrics, :telemetry_poller, :thousand_island, :websock, :websock_adapter]
Looking up modules in dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
Looking up modules in dialyxir_erlang-27.1.1_elixir-1.17.3.plt
Finding applications for dialyxir_erlang-27.1.1_elixir-1.17.3.plt
Finding modules for dialyxir_erlang-27.1.1_elixir-1.17.3.plt
Removing 5 modules from dialyxir_erlang-27.1.1_elixir-1.17.3.plt
Checking 468 modules in dialyxir_erlang-27.1.1_elixir-1.17.3.plt
Adding 5 modules to dialyxir_erlang-27.1.1_elixir-1.17.3.plt
done in 0m7.05s
Finding applications for dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
Finding modules for dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
Copying dialyxir_erlang-27.1.1_elixir-1.17.3.plt to dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
Looking up modules in dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
Checking 473 modules in dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
Adding 767 modules to dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt
done in 0m20.35s
No :ignore_warnings opt specified in mix.exs and default does not exist.

Starting Dialyzer
[
  check_plt: false,
  init_plt: ~c"~/code/phx_gens/dialyzer_bug/_build/dev/dialyxir_erlang-27.1.1_elixir-1.17.3_deps-dev.plt",
  files: [~c"~/code/phx_gens/dialyzer_bug/_build/dev/lib/dialyzer_bug/ebin/Elixir.DialyzerBug.Application.beam",
   ~c"~/code/phx_gens/dialyzer_bug/_build/dev/lib/dialyzer_bug/ebin/Elixir.DialyzerBug.Repo.beam",
   ~c"~/code/phx_gens/dialyzer_bug/_build/dev/lib/dialyzer_bug/ebin/Elixir.DialyzerBug.beam",
   ~c"~/code/phx_gens/dialyzer_bug/_build/dev/lib/dialyzer_bug/ebin/Elixir.DialyzerBugWeb.Endpoint.beam",
   ~c"~/code/phx_gens/dialyzer_bug/_build/dev/lib/dialyzer_bug/ebin/Elixir.DialyzerBugWeb.ErrorJSON.beam",
   ...],
  warnings: [:unknown]
]
Total errors: 1, Skipped: 0, Unnecessary Skips: 0
done in 0m1.17s
deps/phoenix/lib/phoenix/router.ex:1:pattern_match
The pattern can never match the type.

Pattern:
{_, _, _, _}

Type:
:error

________________________________________________________________________________
done (warnings were emitted)
Halting VM with exit status 2

Expected behavior

A clean dialyzer run

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant