wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/table-sub.wast (about)

     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  )