{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"NavigationTarget"}]}
                NavigationTarget {
            .map(|(FileRange { file_id, range: full_range }, focus_range)| {
                    file_id,