{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"arena_vec![self;"}]}
            arena_vec![self; *cond_fn, *expr],
            hir::LangItem::ContractCheckEnsures,
        );