{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
            // FIXME: '`static` can also be a label, and there it does need escaping.
        if symbol == "'static" {
            // But knowing where it is will require adding a parameter to `display()`,