{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"name:"}]}
            name: Name::generate_new_name(self.store.labels.len()),
        let label = self.alloc_label_desugared(Label {
        });