{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"let"}]}
                let expr = opt_expr.unwrap_or_else(|| self.expr_unit(check_span));
            if let Some((check_span, check_ident, check_hir_id)) = self.contract_ensures {
                Some(self.inject_ensures_check(expr, check_span, check_ident, check_hir_id))