const pushErrorScope_methodinfo: JSJitInfo;