| (module | |
| (type $none_=>_none (func)) | |
| (import "env" "bar" (func $bar)) | |
| (export "foo" (func $foo)) | |
| (func $foo | |
| (call $bar) | |
| ) | |
| ) | |
| (module | |
| (type $none_=>_none (func)) | |
| (import "env" "other" (func $other)) | |
| (export "foo" (func $foo)) | |
| (func $foo | |
| (nop) | |
| ) | |
| ) | |
| (module | |
| (type $none (func)) | |
| (import "env" "other" (func $other)) | |
| (table $t 10 funcref) | |
| (elem $0 (i32.const 0) $other) | |
| (export "foo" (func $foo)) | |
| (func $foo | |
| (call_indirect (type $none) | |
| (i32.const 10) | |
| ) | |
| ) | |
| ) |