Incorrect error reporting for invalid typespec

[lud-wj]

Given this example:

defmodule Example do
  @spec process(:error) :: :ok
  def process(:ok) do
    :ok
  end
end

Dialyzer outputs the following:

lib/..../some-file.ex:14: Invalid type specification for function 'Elixir.Example':process/1.
 The success typing is 'Example':process('ok') -> 'ok'
 But the spec is 'Example':process('error') -> 'ok'
 They do not overlap in the 1st argument

But dialyxir outputs this:

lib/..../some-file.ex:14:invalid_contract
The @spec for the function does not match the success typing of the function.

Function:
Example.process/1

Success typing:
@spec process(:error) :: :ok

Success typing for dialyxir should be something like process(:ok) :: :ok instead of displaying the incorrect spec.