In reality, what should happen here is that we should check the region bound no matter the store, and also check the region from the store as we do now. This is what causes #5723, because for an `@Object` or `~Object` we never check any region bounds at all.