rustc_errors::codes

Constant E0725

source 
pub const E0725: ErrCode;