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

Reply via email to