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