{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // If globally no optimisation is done, #[optimize] has no effect.
            // This is done because if we ended up "upgrading" to `-O2` here, we’d populate the