{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"with(|cx|"}]}
        with(|cx| cx.explicit_predicates_of(self.def_id.0))
    pub fn explicit_predicates_of(&self) -> GenericPredicates {
    }