Core: Verify the index state of concrete indices after alias resolution

Are we sure we wanna rename `allowNoIndices` to `failNoIndices`? Wondering if t becomes more error-prone than before :)