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