{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // There is only something to do if there are attributes at all.
    match attrs.map.range(..) {
        [] => {}