const dateTime_getterinfo: JSJitInfo;