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