1 2 3 4 5 6 7 8 9 10 11
(assert_malformed (module (type (func (result i32))) (func $main (result i32) i32.const 0 call_indirect (type 0) ) (table (;0;) 1 externref) ) "indirect calls must go through a table with type <= funcref" )