{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"})"}]}
        })
            def.try_to_nav(sema.db).unwrap().into_iter().zip(iter::repeat(link))
        .map(|(nav_target, link)| {