{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
        // many attributes don't make sense in combination with #[naked].
        //
        // Notable attributes that are incompatible with `#[naked]` are: