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