{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"//"}]}
        // instantiation:
        // If the function is #[naked] or contains any other attribute that requires exactly-once
        // We emit an unused_attributes lint for this case, which should be kept in sync if possible.