[JSR308] array-valued annotations

[Michael Ernst]

Tom Ball rightly criticizes heterogeneous arrays:

> Java doesn't 
> support an array whose elements are specified as different types, and 
> neither should its metadata define different constraints on them. 

I agree, but I don't think we have to debate this point, because no one has
proposed such heterogeneous arrays.  (I did not interpret Gary Leavens's
email as proposing them.)  The real issue is different levels of the array,
not different elements at a single level.

                    -Michael Ernst
                     mernst at csail.mit.edu