const refresh_methodinfo: JSJitInfo;