const _DERIVE_Display_FOR_PosError: ();