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