{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"self.r.label_res_map.insert(expr.id,"}]}
                        self.r.label_res_map.insert(expr.id, node_id);
                        // Since this res is a label, it is never read.
                        self.diag_metadata.unused_labels.swap_remove(&node_id);