Constant E0717

Source
pub const E0717: ();