fn show_implementations_action( sema: &Semantics<'_, RootDatabase>, def: Definition<'_>, ) -> Option<HoverAction>