If receiver and index of an indexed access evaluate to some value known to the compiler, verify that the indexed access will succeed.