`Oidcc.ProviderConfiguration.Worker.child_spec` typespec problem

[LostKobrakai]

oidcc version

3.2.4

Erlang version

27.1.2

Elixir version

1.17.3

Summary

Oidcc.ProviderConfiguration.Worker.child_spec takes :oidcc_provider_configuration_worker.opts() as parameter, which defines the :name map key as gen_server:server_name().

Current behavior

gen_server:server_name() is not a match for Elixir's GenServer.name and doesn't include a bare atom, which is transformed by Oidcc.ProviderConfiguration.Worker.start_link however.

How to reproduce

defmodule MyApp.OIDC.Provider do
  @spec child_spec(term) :: Supervisor.child_spec()
  def child_spec(_) do
    Oidcc.ProviderConfiguration.Worker.child_spec(%{
      name: __MODULE__,
      …
    })
  end
end

Add this to a project, run dialyzer, see error, e.g.:

ElixirLS Dialyzer: The function call will not succeed.

Oidcc.ProviderConfiguration.Worker.child_spec(%{:issuer => _, :name => Kasts.OIDC.GitLabProvider})

breaks the contract
(opts :: :oidcc_provider_configuration_worker.opts()) :: Supervisor.child_spec()

Expected behavior

Typespecs are correct.