1--TEST--
2Type inference 007: Incorrect array key type inference
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.optimization_level=-1
7--FILE--
8<?php
9function y() {
10    for(;;) {
11        s($array[]);
12        $array = array(""=>"");
13    }
14}
15?>
16DONE
17--EXPECT--
18DONE
19