{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"|InferOk"}]}
                        |InferOk { value: method, obligations: o }| {
                    self.try_overloaded_deref(autoderef.span(), source).and_then(
                            obligations.extend(o);