{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"label_right_margin"}]}
                        label_right_margin =
                        let label_right = ann.label.as_ref().map_or(0, |l| l.len() + 1);
                            max(label_right_margin, ann.end_col.file + label_right);