Function host_sets_struct_in_table

tests/all/structs.rs:557–599

()

#[test]
#[cfg_attr(miri, ignore)]
fn host_sets_struct_in_table() -> Result<()> {
    let mut store = gc_store()?;

    let module = Module::new(
        store.engine(),
        r#"
            (module
                (type (struct (field i8)))
                (table $t (export "t") 1 1 (ref null 0) (ref.null 0))
                (func (export "f") (result (ref null 0))
                    i32.const 0
                    table.get $t
                )
            )
        "#,
    )?;

    let instance = Instance::new(&mut store, &module, &[])?;
    let t = instance.get_table(&mut store, "t").unwrap();

    let struct_ty = StructType::new(
        store.engine(),
        [FieldType::new(Mutability::Const, StorageType::I8)],
    )?;
    let pre = StructRefPre::new(&mut store, struct_ty.clone());
    let s0 = StructRef::new(&mut store, &pre, &[Val::I32(42)])?;
    t.set(&mut store, 0, s0.into())?;

    // Get the global from the host.
    let val = t.get(&mut store, 0).expect("in bounds");
    let anyref = val.unwrap_any().expect("non-null");
    let s1 = anyref.unwrap_struct(&store)?;
    assert_eq!(s1.field(&mut store, 0)?.unwrap_i32(), 42);
    assert!(Rooted::ref_eq(&store, &s0, &s1)?);

    // Get the global from the guest.
    let f = instance.get_typed_func::<(), Option<Rooted<StructRef>>>(&mut store, "f")?;
    let s2 = f.call(&mut store, ())?.expect("non-null");
    assert_eq!(s2.field(&mut store, 0)?.unwrap_i32(), 42);
    assert!(Rooted::ref_eq(&store, &s0, &s2)?);

    Ok(())
}

#[test]
#[cfg_attr(miri, ignore)]