{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"Some(ok)"}]}
            Some(ok) => {
        match method {
                let method = self.register_infer_ok_obligations(ok);