{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"self.elaborator.patch().add_statement("}]}
        self.elaborator.patch().add_statement(
        // StorageDead(fut) in self.succ block (at the begin)
            Location { block: self.succ, statement_index: 0 },