Dialyxir.Warnings.ContractSupertype (Dialyxir v1.4.3) View Source

The @spec, while not incorrect, is more general than the type returned by the function.

Example

defmodule Example do
  @spec ok() :: any
  def ok() do
    :ok
  end
end