rustc_errors::codes

Constant E0713

Source 
pub const E0713: ErrCode;