* src/vm/jit/verify/typecheck-typeinferer.c: New type inference pass.