# `Dialyxir.Warnings.ContractSupertype`
[🔗](https://github.com/jeremyjh/dialyxir/blob/1.4.8/lib/dialyxir/warnings/contract_supertype.ex#L1)

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

---

*Consult [api-reference.md](api-reference.md) for complete listing*