{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"hir::LangItem::ContractCheckRequires,"}]}
                        hir::LangItem::ContractCheckRequires,
                        req_span,
                        &*arena_vec![this; lowered_req],