Array patterns (and varargs patterns)

[Brian Goetz]

> Hello!
>
> While I like the idea in general, what is annoying is the necessity to
> repeat the expression type in every pattern:

This is a "primitive" -- the array analogue of the type pattern -- but 
other things can build on it.  Varargs patterns will build on it (as 
shown in the mail); if and when Java ever gets collection literals, 
there will be corresponding collection patterns too.  I think the path 
to streamlining this is not to try and simplify the syntax of the 
primitive, but move upwards to higher-level patterns.