If Joshua had led the Israelites to enter the place of resting, God would not have spoken later about another time when we could rest [MET]. So we know God was speaking about another time when some people would enter that place of resting eternally.