{"ast_node_type":"variable","tokens":[{"end":95,"kind":"keyword","start":0,"text":"let"}]}
                let succ = self.destructor_call_block_sync((contents_drop.0, contents_drop.1));
                // we need to drop the inside of the box before running the destructor
                let unwind = contents_drop