{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                self.open_drop_for_box_contents(adt, args, succ, unwind, dropline)
                self.destructor_call_block(contents_drop)