Dialyxir v1.0.0 Dialyxir.Warnings.CallbackSpecArgumentTypeMismatch View Source

Spec type of argument does not match the callback’s expected type.

Example

defmodule ExampleBehaviour do
  @callback ok(:ok) :: :ok
end

defmodule Example do
  @behaviour ExampleBehaviour

  @spec ok(:error) :: :ok
  def ok(:ok) do
    :ok
  end
end