dialyxir
dialyxir copied to clipboard
error while running dialyxir
Precheck
Per #467 , opening a new issue., Will see if I can get a repro from private code
Environment
-
Elixir & Erlang/OTP versions (elixir --version): elixir 1.15, OTP 26
-
Which version of Dialyxir are you using? (cat mix.lock | grep dialyxir): 1.4.2
Current behavior
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message. Unknown error occurred: %FunctionClauseError{module: Dialyxir.Warnings.InvalidContract, function: :format_long, arity: 1, kind: nil, args: nil, clauses: nil} Legacy warning: lib/halberd_client/http_client.ex:10: Invalid type specification for function 'Elixir.HalberdClient.HTTPClient':get/2. The success typing is 'Elixir.HalberdClient.HTTPClient':get(binary(),'nil' | maybe_improper_list() | map()) -> {'error',} | {'ok',#{'client':=#{'struct':='Elixir.Tesla.Client', 'adapter':='nil' | {,} | {,,}, 'fun':=, 'post':=[any()], 'pre':=[any()]}, 'module':=atom(), 'struct':='Elixir.Tesla.Env', 'body':=, 'headers':=[{,}], 'method':='delete' | 'get' | 'head' | 'options' | 'patch' | 'post' | 'put' | 'trace', 'opts':=[{,}], 'query':=[{,}], 'status':='nil' | integer(), 'url':=binary()}} But the spec is 'Elixir.HalberdClient.HTTPClient':get('Elixir.Tesla.Env':url(),'Elixir.Tesla':option()) -> 'Elixir.Tesla.Env':result() They do not overlap in the 2nd argument
Expected behavior
- A short description of the expected behavior.