Constant rustc_errors::codes::E0728

pub const E0728: ErrCode;