Should using @impl true cause docs to show the callback spec?

FWIW, searching the core Elixir repo for @impl true shows a lot of implementations that are @moduledoc false or at least have no @doc annotation.

Calendar.ISO does the repeating-spec thing: