{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"ty::CoroutineWitness(def_id,"}]}
            ty::CoroutineWitness(def_id, args) => TyKind::RigidTy(RigidTy::CoroutineWitness(
            }
                tables.coroutine_witness_def(*def_id),