Scaladoc tool: render @deprecated correctly even when named arguments weren't used

Scaladoc tool: render @deprecated correctly even when named arguments weren't used #23614