rustc_errors::codes

Constant E0728

source 
pub const E0728: ErrCode;