const defaultView_getterinfo: JSJitInfo;