Constant E0517

Source
pub const E0517: ();