{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"let"}]}
                let method = self.register_infer_ok_obligations(ok);
            Some(ok) => {
                self.select_obligations_where_possible(|_| {});