rustc_errors::codes

Constant E0728

Source 
pub const E0728: ErrCode;