[naga] Remove redundant handle ordering check from validator. (#6321)

`Validator::validate_module_handles` already ensures that types refer
only to other types appearing earlier in the arena than themselves, so
this check in `Validator::validate_type` is redundant.
This commit is contained in:
Jim Blandy 2024-09-25 14:10:27 -07:00 committed by GitHub
parent 7074380945
commit e7f891bf2b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -664,9 +664,6 @@ impl super::Validator {
) )
} }
Ti::BindingArray { base, size } => { Ti::BindingArray { base, size } => {
if base >= handle {
return Err(TypeError::InvalidArrayBaseType(base));
}
let type_info_mask = match size { let type_info_mask = match size {
crate::ArraySize::Constant(_) => TypeFlags::SIZED | TypeFlags::HOST_SHAREABLE, crate::ArraySize::Constant(_) => TypeFlags::SIZED | TypeFlags::HOST_SHAREABLE,
crate::ArraySize::Dynamic => { crate::ArraySize::Dynamic => {