{"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
        let (adjustments, _) = self.register_infer_ok_obligations(ok);
        self.apply_adjustments(expr, adjustments);