Constant rustc_errors::codes::E0724

pub const E0724: ErrCode;