Constant rustc_errors::codes::E0719

pub const E0719: ErrCode;