{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // Note that this would be the complete output users would see.
            //
            !label.is_empty()