Container element constraints on arrays are not supported for now as per our discussion on the mailing list. We can bring back the feature if there's demand for it, it'll require some option to opt into this, though, as the current style for applying constraints to an array itself (not its elements) conflicts with the type-use semantics in Java 8.