{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"Ty::new_opaque(self.tcx,"}]}
                        Ty::new_opaque(self.tcx, a.def_id.to_def_id(), a.args),
                        DefineOpaqueTypes::Yes,
                        b,