{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"obligation.predicate"}]}
            obligation.predicate = self.resolve_vars_if_possible(obligation.predicate);
        obligations_for_self_ty.retain_mut(|obligation| {
            !obligation.predicate.has_placeholders()