rustc_errors::codes

Constant E0725

Source 
pub const E0725: ErrCode;