{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"text_range:"}]}
            text_range: nav.as_ref().map(|n| n.focus_or_full_range()),
            file: nav.as_ref().map(|n| n.file_id),
            runnable: runnable_fn(&sema, f),