syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"#[derive(Copy,"}]}
source_snippet: #[derive(Copy, Clone, PartialEq, Eq, Hash, Debug, HashStable_Generic)]
context_before: /// not necessary to extend the argument, this enum is ignored.
context_after: pub enum ArgExtension {