Some dialyzer attributes are missing #13036
Comments
Munksgaard
added a commit
to Munksgaard/elixir
that referenced
this issue
Oct 26, 2023
Taken from this list: https://www.erlang.org/doc/man/dialyzer.html#type-warn_option Fixes elixir-lang#13036
This was referenced Oct 26, 2023
josevalim
pushed a commit
that referenced
this issue
Oct 26, 2023
Taken from this list: https://www.erlang.org/doc/man/dialyzer.html#type-warn_option Fixes #13036
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Elixir and Erlang/OTP versions
1.16
Operating system
Linux
Current behavior
The
@dialyzermodule attribute doesn't allow valid dialyzer attributes like:no_extra_return.Expected behavior
The
valid_dialyzer_attribute?function should return true for all valid dialyzer attributes.The text was updated successfully, but these errors were encountered: