Constant rustc_errors::codes::E0251

pub const E0251: ErrCode;