{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":".map(|nav|"}]}
            .map(|nav| FileRange { file_id: nav.file_id, range: nav.focus_or_full_range() })
            .into_iter()
            .sorted_by_key(cmp)