fix: update for wasmparser 0.245.1 API changes

- ComponentDefinedType::FixedSizeList renamed to FixedLengthList
- VariantCase::refines field was removed from wasmparser

Signed-off-by: James Sturtevant <jsturtevant@gmail.com>

Author: jsturtevant

src/hyperlight_component_util/src/elaborate.rs

@@ -402,7 +402,6 @@ impl<'p, 'a> Ctx<'p, 'a> {
                         Ok(VariantCase {
                             name: Name { name: vc.name },
                             ty: vc.ty.as_ref().map(|ty| self.elab_value(ty)).transpose()?,
-                            refines: vc.refines,
                         })
                     })
                     .collect::<Result<Vec<_>, Error<'a>>>()?;
@@ -433,7 +432,7 @@ impl<'p, 'a> Ctx<'p, 'a> {
                 Defined::Handleable(h) => Ok(Value::Borrow(h.clone())),
                 _ => Err(Error::HandleToNonResource),
             },
-            ComponentDefinedType::FixedSizeList(vt, size) => {
+            ComponentDefinedType::FixedLengthList(vt, size) => {
                 Ok(Value::FixList(Box::new(self.elab_value(vt)?), *size))
             }
             ComponentDefinedType::Future(_) | ComponentDefinedType::Stream(_) => {

src/hyperlight_component_util/src/etypes.rs

@@ -70,7 +70,6 @@ pub struct RecordField<'a> {
 pub struct VariantCase<'a> {
     pub name: Name<'a>,
     pub ty: Option<Value<'a>>,
-    pub refines: Option<u32>,
 }
 
 /// valtype_e in the specification

src/hyperlight_component_util/src/substitute.rs

@@ -77,7 +77,6 @@ where
                 Ok(VariantCase {
                     name: vc.name,
                     ty: self.value_option(&vc.ty)?,
-                    refines: vc.refines,
                 })
             })
             .collect()

src/hyperlight_component_util/src/wf.rs

@@ -117,13 +117,6 @@ pub enum Error<'a> {
     DuplicateRecordField(Name<'a>),
     /// A variant has multiple cases with the same name
     DuplicateVariantField(Name<'a>),
-    /// A variant case is marked as refining another case, but that
-    /// case does not exist
-    NonexistentVariantRefinement(u32),
-    /// A variant case is marked as refining another case, but its
-    /// associated value is not a subtype of the value of the refined
-    /// case
-    IncompatibleVariantRefinement(subtype::Error<'a>),
     /// A flags has multiple flags with the same name
     DuplicateFlagsName(Name<'a>),
     /// An enum has multiple cases with the same name
@@ -181,15 +174,6 @@ impl<'p, 'a> Ctx<'p, 'a> {
             |&vc| vc.name.name,
             |vc| Error::DuplicateVariantField(vc.name),
         )?;
-        for vc in vcs {
-            if let Some(ri) = vc.refines {
-                let rvc = vcs
-                    .get(ri as usize)
-                    .ok_or(Error::NonexistentVariantRefinement(ri))?;
-                self.subtype_value_option(&vc.ty, &rvc.ty)
-                    .map_err(Error::IncompatibleVariantRefinement)?;
-            }
-        }
         Ok(())
     }
     fn wf_value<'r>(&'r self, p: ValueTypePosition, vt: &'r Value<'a>) -> Result<(), Error<'a>> {