{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"result"}]}
                result = ProbeResult::NoMatch;
            for error in ocx.select_where_possible() {
                let nested_predicate = self.resolve_vars_if_possible(error.obligation.predicate);