The following is a snippet depicting my use case:

defmodule Abstract do
  @callback foo() :: binary()

  defmacro __using__( _) do
    quote do
      @behavior Abstract
 
      @impl true
      def foo() do
        raise RuntimeError, "shouldn't have been invoked!"
      end

      defoverridable Abstract
    end
  end
end

defmodule SpecificA do
  use Abstract
end

defmodule SpecificB do
  use Abstract

  @impl true
  def foo() do
    "foo"
  end
end

The problem is dialyzer keeps on showing this warning that foo/0 default implementation in SpecificA “has no local return”. Even if I change the callback return value to binary() | no_return(), it still gives the same warning.

Any ideas on how to circumvent the dialyzer warning without providing a dummy implementation of the foo/0 in SpecificA?

Thanks