const finish_methodinfo: JSJitInfo;