rustc_errors::codes

Constant E0517

Source 
pub const E0517: ErrCode;