{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"|(FileRange"}]}
                    |(FileRange { file_id, range: full_range }, focus_range)| {
                orig_range_with_focus(db, file_id, value.syntax(), value.name()).map(
                        let mut res = NavigationTarget::from_syntax(