{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"HoverAction::Implementation(..)"}]}
            HoverAction::Implementation(..) => {
            }
                if !seen_implementation {