{"ast_node_type":"variable","tokens":[{"end":25,"kind":"keyword","start":0,"text":"let"}]}
        let checked_ret =
    fn checked_return(&mut self, opt_expr: Option<&'hir hir::Expr<'hir>>) -> hir::ExprKind<'hir> {
            if let Some((check_span, check_ident, check_hir_id)) = self.contract_ensures {