Constant rustc_errors::codes::E0472

pub const E0472: ErrCode;