{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"default:"}]}
        default: Option<&'hir ConstArg<'hir>>,
        /// Optional default value for the const generic param
        synthetic: bool,