rustc_errors::codes

Constant E0712

Source 
pub const E0712: ErrCode;