6.2.2　JIT无法对非确定参数追踪