I am in favour of more controlled type inference in general, but perhaps this one is a bit specific. What if you defined "_" to mean "deduce whatever should be in this spot", not only for static arrays, but for all types?Then you could do: int[_] = … or _[_] … etc
'$' is not an ident char, that's why that works
