fixes #1059

TL;DR:

Now this code will produce a type of array<42>:

$data = [];
$data[] = 42;
// type of $data?

While obviously in this cast more accurate type will be list{42}, currently more useful is to infer such type as array.