Function issue_13538_tables

tests/all/func.rs:2462–2493

()

#[test]
#[cfg_attr(miri, ignore)]
fn issue_13538_tables() -> Result<()> {
    // Same as `issue_13538_memories` but for tables.
    assert_returns_regardless_of_inlining(
        r#"
            (component
              (core module $M
                (table (export "tab") 1 1 (ref i31) (ref.i31 (i32.const 0)))
                (func (export "writeit") (param i32)
                  (table.set (i32.const 0) (ref.i31 (local.get 0))))
              )
              (core instance $m (instantiate $M))
              (core module $N
                (import "" "tab" (table 1 1 (ref i31)))
                (import "" "writeit" (func $writeit (param i32)))
                (func (export "g") (result i32)
                  (drop (table.get (i32.const 0)))
                  (call $writeit (i32.const 123))
                  (i31.get_u (table.get (i32.const 0))))
              )
              (core instance $n (instantiate $N
                  (with "" (instance
                    (export "tab" (table $m "tab"))
                    (export "writeit" (func $m "writeit"))))))
              (func (export "g") (result u32) (canon lift (core func $n "g"))))
        "#,
        123,
        |config| {
            config.wasm_function_references(true);
            config.wasm_gc(true);
        },
    )
}