function type mismatch error when non-polymorphic function is given to parameter which is typed as polymorphic function

[ENvironmentSet]

how to reproduce the error

apply = f:(a -> b). x: a. f x.
inc = x:I32. x + 1#I32.
main = apply inc 2#I32.

this may fail to run, and wasm runtime will emit following error message

RuntimeError: null function or function signature mismatch