Constant rustc_errors::codes::E0523

pub const E0523: ErrCode;