{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"hir::LangItem::ContractBuildCheckEnsures,"}]}
                        hir::LangItem::ContractBuildCheckEnsures,
                        ens_span,
                        &*arena_vec![this; lowered_ens],