{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"data.nav.full_range"}]}
            data.nav.full_range = TextRange::empty(span::TextSize::new(!0));
            }
            if let Some(range) = &mut data.nav.focus_range {