{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"this.mark_span_with_reason(DesugaringKind::Contract,"}]}
                        this.mark_span_with_reason(DesugaringKind::Contract, ens_span, None);
                    let ens_span =
                    // Set up the postcondition `let` statement.