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

I wonder if we really need this `switch`. Can't we merge case 1 and case 2? Is case 1 needed after all?