{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"DesugaringKind::Contract,"}]}
                        DesugaringKind::Contract,
                    let req_span = this.mark_span_with_reason(
                        lowered_req.span,