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