{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
            // Repeated `insert` calls is inefficient, but the number of
        node.visit_attrs(|attrs| {
            // insertions is almost always 0 or 1 in practice.