const rangeMin_getterinfo: JSJitInfo;