rustc_errors::codes

Constant E0717

Source 
pub const E0717: ErrCode;