{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // We have stripped some code after the rightmost span end, make it clear we did so.
            let padding = str_width(placeholder);
            buffer.puts(