const _DERIVE_core_fmt_Debug_FOR_DaProposal: ();