{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"obligations"}]}
            obligations
            trace!("pending_obligations = {:#?}", obligations);
                .retain(|obligation| self.predicate_has_self_ty(obligation.predicate, ty_var_root));