{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"RigidTy::CoroutineWitness(def,"}]}
            RigidTy::CoroutineWitness(def, args) => rustc_ty::TyKind::CoroutineWitness(
            ),
                def.0.internal(tables, tcx),