{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"if"}]}
                                if !self.infcx.predicate_may_hold(&nested_obligation) {
                            for nested_obligation in candidate.nested_obligations() {
                                    possibly_unsatisfied_predicates.push((