Invalid spec for elli:stop/1

[lud]

The current spec is:

%% @doc Stop `Server'.
-spec stop(Server :: atom()) -> {stop, normal, ok, state()}.
stop(S) ->
    gen_server:call(S, stop).

Shouldn't it be just:

-spec stop(Server :: atom() | pid()) -> ok.

[paulo-ferraz-oliveira]

It should. dialyzer isn't able to pick it up because the execution sits behind gen_server.