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