{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"file_id:"}]}
            file_id: nav_target.file_id,
        HoverAction::Implementation(FilePosition {
            offset: nav_target.focus_or_full_range().start(),