{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":".iter()"}]}
            .iter()
        let navs = navs
            .map(|nav| FileRange { file_id: nav.file_id, range: nav.focus_or_full_range() })