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