{"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"if"}]}
            if let Ok(result) = self.probe(|_| self.evaluate_obligation(&o))
            // Don't report overflow errors. Otherwise equivalent to may_hold.
                && result.may_apply()