Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata/table-sub.wast

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata

     1(assert_invalid
     2  (module
     3    (table $t1 10 funcref)
     4    (table $t2 10 externref)
     5    (func $f
     6      (table.copy $t1 $t2 (i32.const 0) (i32.const 1) (i32.const 2))
     7    )
     8  )
     9  "type mismatch"
    10)
    11
    12(assert_invalid
    13  (module
    14    (table $t 10 funcref)
    15    (elem $el externref)
    16    (func $f
    17      (table.init $t $el (i32.const 0) (i32.const 1) (i32.const 2))
    18    )
    19  )
    20  "type mismatch"
    21)

View as plain text