{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
                let InferOk { value: self_ty, obligations: _ } = self
            .find_map(|step| {
                    .fcx