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