{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
                        // FIXME: account for labels not in the same line
                        span_right_margin = max(span_right_margin, ann.end_col.file);
                        let label_right = ann.label.as_ref().map_or(0, |l| l.len() + 1);