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

The type in the @spec does not completely cover the types returned
by function.

## Example

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

      def ok(:error) do
        :error
      end
    end

---

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