{"ast_node_type":"variable","tokens":[{"end":28,"kind":"keyword","start":0,"text":"let"}]}
        let return_expr_ty =
            .expected_ty();
            self.infer_expr_inner(expr, &Expectation::HasType(ret_ty), ExprIsRead::Yes);