Annotations on arrays constructions