{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"check_coroutine_obligations:"}]}
        check_coroutine_obligations: check::check_coroutine_obligations,
        compare_impl_item: compare_impl_item::compare_impl_item,
        check_type_wf: wfcheck::check_type_wf,