{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":".map(|label|"}]}
            .map(|label| Label { ident: self.lower_ident(label.ident) });
            .map(|(_, label)| label)
        hir::Destination { label, target_id }