{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // the left, so the rightmost span needs to be rendered first,
        // first order is important, because the jiggly lines and | are on
        // otherwise the lines would end up needing to go over a message.