{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"self.open_drop_for_box_contents(adt,"}]}
                self.open_drop_for_box_contents(adt, args, succ, unwind, dropline)
                    .map(|dropline| self.destructor_call_block_sync((dropline, contents_drop.1)));
            } else {