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