{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"if"}]}
        if !self.predicate_must_hold_modulo_regions(&obligation) {
        let obligation = Obligation::new(self.tcx, self.misc(span), self.param_env, trait_ref);
            return false;