rustc_errors::codes

Constant E0724

Source 
pub const E0724: ErrCode;