{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"possibly_unsatisfied_predicates.push(("}]}
                                    possibly_unsatisfied_predicates.push((
                                if !self.infcx.predicate_may_hold(&nested_obligation) {
                                        self.resolve_vars_if_possible(nested_obligation.predicate),