Incorrect Index Validation for Recursive Function Types

[Q1IQ]

Test case

typesection2.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:

0000014: error: reference 0 is out of range (max: 0) in results
0000014: error: OnFuncType callback failed

Expected behavior

The module should be accepted and compiled successfully.