Details
Description
getRegionsInRange() calls getRegionLocation() without reloading it. It will return wrong result if the cache is outdated due to region split. If the cost of always reloading isn't significant, we should consider doing that by default. Otherwise, let's have an API for getRegionsInRange() that forces a reload.