Incorrect Type Index Validation for Implicit Function Signatures

[Q1IQ]

Test case

typesection3.wasm.txt

Environment

• OS: Ubuntu 20.04
• CPU: amd64
• wasm-interp version: 6ca912cf
• Commands:

wabt/bin/wasm-interp --enable-all test.wasm --run-export=run

Actual behavior

The tool fails to compile the module, reporting a type variable range error during the function definition phase:

0000024: error: function type variable out of range: 2 (max 2)
0000024: error: OnFunction callback failed

Expected behavior

The module should be accepted and compiled successfully.