From the documentation it seems as if that additionally to erroring when impls are missing or no callback that fits the impl, only @doc false is implied on @impl.
Though, in general, whether you have @impl or not, dialyzer will check you function against the @callback type when you implement a callback.
