{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"unhighlighted_lines.push((line_pos,"}]}
                    unhighlighted_lines.push((line_pos, line));
                if highlight_parts.is_empty() {
                    continue;