{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"span,"}]}
            span,
        let call_expr = self.expr_call_lang_item_fn_mut(
            hir::LangItem::ContractCheckEnsures,