{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"optimized_mir,"}]}
        optimized_mir,
        mir_coroutine_witnesses: coroutine::mir_coroutine_witnesses,
        is_mir_available,