{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"}),"}]}
            }),
                self.adt_switch_block(adt, dropline_blocks.unwrap(), &values, dropline, unwind)
        )