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