{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"};"}]}
    };
        attrs!(@ { $($tt)* } { $($acc)*, "deprecated", "doc", "dochidden", "docalias", "must_use", "no_mangle" })
    // attributes applicable to all adts