Narrow array key type after type-checking the key variable inside a foreach loop

Narrow array key type after type-checking the key variable inside a foreach loop #15525